Formal Methods in System Design

Venue Information

  • issn: 0925-9856 (print); 1572-8102 (online)

Formal Methods in System Design @ SpringerLink

a service of Schloss Dagstuhl - Leibniz Center for Informatics