Formal Methods in System Design

Collection
Springer Nature Journals
Publisher
Springer Nature
Subject
Hardware and Architecture; Software; Theoretical Computer Science
Access From
1997
Access To
current
URL
https://link.springer.com/journal/10703
issn
0925-9856
eissn
1572-8102