Formal Methods in System Design: Preface

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)1
Number of pages1
JournalFormal Methods in System Design
Volume35
Issue number1
DOIs
StatePublished - Aug 2009

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Formal Methods in System Design: Preface'. Together they form a unique fingerprint.

Cite this