Russo, Alessandra <br/><br/>
Fundamental Approaches to Software Engineering  21st International Conference, FASE 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 
 - Theoretical Computer Science and General Issues  10802 .
<br/><br/> Open Access 
<br/><br/> computer software maintenance;  computer software selection and evaluation;  formal logic;  formal methods;  formal specification;  programming languages;  semantics;  software engineering;  specifications;  verification 
<br/><br/><br/>Creative Commons 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>978-3-319-89363-1 9783319893631 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-89363-1  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science
<br/><br/><label>Subjects--Index Terms: </label>computer software maintenance computer software selection and evaluation formal logic formal methods formal specification programming languages semantics software engineering specifications verification