Formal Methods in System Design

E2082729 UNEXPLORED

Formal Methods in System Design is a peer-reviewed scientific journal focusing on the application of formal methods to the specification, development, and verification of hardware and software systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Formal Methods in System Design canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Joost-Pieter Katoen → editorialBoardMemberOf → Formal Methods in System Design ⓘ