Baier, Christel <br/><br/>
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings 

 - Cham  Springer Nature  2018 
<br/><br/> Open Access 
<br/><br/> artificial intelligence;  computer software;  selection and evaluation;  formal logic;  graph theory;  modal logic;  petri nets;  program compilers;  programming language;  semantics;  separation logic;  software engineering;  theorem proving;  type systems;  verification 
<br/><br/><br/>Creative Commons 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>978-3-319-89366-2 9783319893662 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-89366-2  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science
<br/><br/><label>Subjects--Index Terms: </label>artificial intelligence computer software selection and evaluation formal logic graph theory modal logic petri nets program compilers programming language semantics separation logic software engineering theorem proving type systems verification