TY  - BOOK
TI  - Formal Methods in System Design: An International Journal
PB  - Springer 
KW  - Computer Science
UR  - https://link.springer.com/journal/10703/volumes-and-issues
ER  -