TY  - BOOK
AU  - Louërat,Marie-Minerve
AU  - Maehne,Torsten
TI  - Languages, design methods, and tools for electronic system design
SN  - 9783319063164
U1  - 004.015113 22
PY  - 2015///
CY  - New york.
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Software engineering --
N1  - Includes bibliography and index
ER  -