TY  - SER
TI  - Formal Methods in System Design [electronic resource]
SN  - 1572-8102
PB  - Springer US
UR  - http://link.springer.com/journal/10703
ER  -