Teaching Formal Methods: From Software in the Small to Software in the Large
- 23 September 2019
- book chapter
- Published by Springer Nature
- p. 97-110
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A characterisation of verification tools for software defined networksJournal of Reliable Intelligent Environments, 2017
- Object Constraint Language (OCL): A Definitive Guide2012
- Understanding SIP through Model-Checking2008
- USE: A UML-based specification environment for validating UML and OCLScience of Computer Programming, 2007
- The village telephone system: A case study in formal software engineering1998