Fundamental Approaches to Software Engineering
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 - Cham Springer Nature 2018 - 1 online resource - Theoretical Computer Science and General Issues 10802 .
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Computer Software Maintenance Computer Software Selection And Evaluation Formal Logic Formal Methods Formal Specification
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Computer Software Maintenance Computer Software Selection And Evaluation Formal Logic Formal Methods Formal Specification