Formal Methods in System: Foreword

Klaus Havelund, Grigore Rosu

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Pages (from-to)211-212
Number of pages2
JournalFormal Methods in System Design
Volume27
Issue number3 SPEC. ISS.
DOIs
StatePublished - Nov 1 2005

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics

Cite this