TY  - BOOK
ED  - Russo, Alessandra
ED  - Schürr, Andy
AB  - computer software maintenance;  computer software selection and evaluation;  formal logic;  formal methods;  formal specification;  programming languages;  semantics;  software engineering;  specifications;  verification
DO  - 10.1007/978-3-319-89363-1
ID  - OAPEN ID: 1002202
ID  - OAPEN ID: OCN: 1031397913
ID  - OAPEN ID: http://library.oapen.org/handle/20.500.12657/27803
KW  - computer software maintenance
KW  - computer software selection and evaluation
KW  - formal logic
KW  - formal methods
KW  - formal specification
KW  - programming languages
KW  - semantics
KW  - software engineering
KW  - specifications
KW  - verification
L1  - https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf
L1  - https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf
L1  - https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf
LA  - English
LK  - https://directory.doabooks.org/handle/20.500.12854/36277
PB  - Springer Nature
PP  - Cham
PY  - 2018
SN  - 9783319893631
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
ER  - 
