Skip to main navigation Skip to search Skip to main content

Formal Methods in System Design (Journal)

  • Helmut Simonis (Member of editorial board)

Activity: Publication peer-review and editorial work › Editorial work

Period1 Jan 1992 → 31 Dec 1997
Type of journalJournal
ISSN0925-9856