TY  - BOOK
AU  - Groote,Jan Friso
AU  - Larsen,Kim Guldstrand
TI  - Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
T2  - Lecture Notes in Computer Science Ser.
SN  - 9783030720131
AV  - QA75.5-76.95 
PY  - 2021///
CY  - Cham
PB  - Springer International Publishing AG
KW  - Electronic books
UR  - https://www.nbs.de/bibliothek/faq
UR  - https://ebookcentral.proquest.com/lib/nbsde/detail.action?docID=6524978
ER  -