Formal Methods in System Design: Foreword

Klaus Havelund, Grigore Rosu

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)99-100
Number of pages2
JournalFormal Methods in System Design
Volume24
Issue number2
DOIs
StatePublished - Mar 2004

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics

Cite this