Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Subtitle: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...
Publisher: Springer
Published: Apr 04, 2019
Format: paperback
Number of pages: 285
ISBN-13: 9783030175016
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... (Lecture Notes in Computer Science (11429))