Beyer, Dirk <br/><br/>
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II 

 - Cham  Springer Nature  2018 
<br/><br/> Open Access 
<br/><br/> computer architecture;  computer software selection and evaluation;  formal logic;  formal methods;  model checker;  model checking;  multi core processors;  program compilers;  programming languages;  semantics;  software engineering;  specifications;  state space;  verification 
<br/><br/><br/>Creative Commons 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>978-3-319-89963-3 9783319899633 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-89963-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science
<br/><br/><label>Subjects--Index Terms: </label>computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification