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
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
Cham
Springer Nature
2018
|
| Series: | Theoretical Computer Science and General Issues
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Search Result 1
Search Result 2
OAPEN Library: description of the publication
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 20...
Published 2018
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter