Fundamental Approaches to Software Engineering
Subtitle: 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
Contributors: Schürr, Andy; Russo, Alessandra; Schürr, Andy
Publisher: Springer Nature
Published: 2018
Place of publication: Cham
ISBN-13: 9783319893631
Subjects: Computer science
Description: computer software maintenance;  computer software selection and evaluation;  formal logic;  formal methods;  formal specification;  programming languages;  semantics;  software engineering;  specifications;  verification
Notes: Open Access Unrestricted online access

Creative Commons https://creativecommons.org/licenses/by/4.0/

English