TY  - BOOK
AU  - Russo,Alessandra
AU  - Russo,Alessandra
AU  - Schurr,Andy
AU  - Schurr,Andy
TI  - 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
SN  - 978-3-319-89363-1
PY  - 2018///
CY  - Cham
PB  - Springer Nature
KW  - computer software maintenance
N2  - computer software maintenance;  computer software selection and evaluation;  formal logic;  formal methods;  formal specification;  programming languages;  semantics;  software engineering;  specifications;  verification
UR  - https://docs.google.com/spreadsheets/d/1yKIrdCPDAG_9c22mwoOIO2DOhtj65Wqa/edit?usp=sharing&ouid=106555315294820607512&rtpof=true&sd=true 
ER  -