Formal Methods in System Design: Preface

Research output: Contribution to journalEditorial

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

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Software
  • Theoretical Computer Science

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

  • Cite this