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
Russo, Alessandra
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 .
Open Access
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Creative Commons
English
978-3-319-89363-1 9783319893631
10.1007/978-3-319-89363-1 doi
Computer science
computer software maintenance computer software selection and evaluation formal logic formal methods formal specification programming languages semantics software engineering specifications verification
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 .
Open Access
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Creative Commons
English
978-3-319-89363-1 9783319893631
10.1007/978-3-319-89363-1 doi
Computer science
computer software maintenance computer software selection and evaluation formal logic formal methods formal specification programming languages semantics software engineering specifications verification