GDPA  
Index for tools/publications on formal methods  

Introduction to Formal Methods

Contents  
  • Publications
  • See also

    • Publications

    /Bowen, 1995/ Seven More Myths of formal methods
    /Hinchey, 1995/ Application of Formal Methods
    /Holloway, 1997/ Why engineers should consider formal methods
    /Hußmann, 1997/ Formal Foundations for Software Engineering Methods
    /Krishnamurthy S., 1998/ Toward a Formal Theory of Extensible Software
    /Sa, 1995/ A Reflexive Formal Software Process Model
    /Suzuki, 1993/ A formal model of re-execution in software process

    See also

    Index for tools/publications on formal methods

    GDPA Homepage Last Updated 25.Oct.1999 Updated by Webmaster Last Revised 25.Oct.1999 Revised by Webmaster