By the same authors

From the same journal

Guest Editors' Introduction: Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems

Research output: Contribution to journalEditorial

Author(s)

Department/unit(s)

Publication details

JournalIEEE Trans. Software Eng.
DatePublished - 2000
Issue number8
Volume26
Number of pages2
Pages (from-to)673-674
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations