TY  - BOOK
AU  - Kaźmierski,Thomas J.
AU  - Steinhorst,Sebastian
AU  - Grosse,Daniel
TI  - Languages, design methods, and tools for electronic system design: selected contributions from FDL 2018 
T2  - Lecture Notes in Electrical Engineering
SN  - 9783030315856
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Software engineering
KW  - Computer software
KW  - Verification
KW  - Software architecture
KW  - Computer hardware description languages
N1  - Includes index
UR  - https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-31585-6
UR  - https://link.springer.com/book/10.1007/978-3-030-31585-6
ER  -