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 journalEditorialpeer-review



Publication details

JournalIEEE Trans. Software Eng.
DatePublished - 2000
Issue number8
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