2 results
Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 4 / August 2013
- Published online by Cambridge University Press:
- 08 July 2013, p. 675
-
- Article
-
- You have access
- Export citation
Postlude: seamless composition and integration – a perspective on formal methods research
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 4 / August 2013
- Published online by Cambridge University Press:
- 08 July 2013, pp. 934-943
-
- Article
- Export citation