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
Material type: ArticleLanguage: English Series: Publication details: Cham Springer Nature 2018Content type:- text
- computer
- online resource
- 978-3-319-89363-1
- 9783319893631
Open Access star Unrestricted online access
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Creative Commons https://creativecommons.org/licenses/by/4.0/ cc https://creativecommons.org/licenses/by/4.0/
English
There are no comments on this title.