Armin Biere, David Parker. <br/><br/>
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030452377 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering. Special purpose computers. Architecture, Computer. Microprogramming . Computer science-Mathematics. Software Engineering/Programming and Operating Systems. Special Purpose and Application-Based Systems. Computer System Implementation. Control Structures and Microprogramming. Mathematics of Computing.