Groote, Jan Friso. <br/><br/>
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. 

 - 1 online resource (476 pages) 
 - Lecture Notes in Computer Science Ser. ;  v.12652 .
 - Lecture Notes in Computer Science Ser. .
<br/><br/><label>ISBN: </label>9783030720131 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95