Formal Methods in System Design

Journal title: Formal Methods in System Design
ISSN: 09259856
E-ISSN: 15728102
Publisher: Springer
Country: United States
Subject: Hardware and Architecture
Software
Theoretical Computer Science
–
–
–
–
–