Seven more myths of formal methods: Dispelling industrial prejudices

This publication has 20 references indexed in Scilit:

• A Formal Semantics of Data Flow Diagrams
  Formal Aspects of Computing, 1994
• Personal view: Formal methods: epideictic or apodeictic?
  Software Engineering Journal, 1994
• Formal specifications in software maintenance: from code to Z++ and back again
  Information and Software Technology, 1993
• Practical Experiences of Z and SSADM
  Published by Springer Nature ,1993
• Safety-critical systems, formal methods and standards
  Software Engineering Journal, 1993
• Integrated Structured Analysis and Formal Specification Techniques
  The Computer Journal, 1992
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• Software safety in embedded computer systems
  Communications of the ACM, 1991
• Seven myths of formal methods
  IEEE Software, 1990
• A spiral model of software development and enhancement
  Computer, 1988