Formal Methods in System Design
Title Titel
Formal Methods in System Design
e-ISSN
1572-8102
ISSN
0925-9856
Publisher Herausgeber
SPRINGER
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
Listed in SCI Aufgelistet im SCI
Peer reviewed Begutachtet