Precondition Generation for a Java Subset

In: D. Haneberg, G. Schellhorn and W. Reifed., FM-TOOLS 2002, The 5th Workshop on Tools for System Design and Verification, Reisensburg, Germany. Report 2002-11, p. 1--6, July, 2002

Authors

• Nicole Rauch

Abstract

This paper presents a predicate transformer called

Full Text

• PDF: fmtools02.pdf
• PS.GZ: fmtools02.ps.gz

BibTeX

@InProceedings{Rauch04precondition, 
   author = {Nicole Rauch}
   title = {Precondition Generation for a Java Subset},
   booktitle = {FM-TOOLS 2002, The 5th Workshop on Tools for System Design and Verification, Reisensburg, Germany},
   series = {Report 2002-11},
   publisher = {Universität Augsburg, Institut für Informatik},
   pages = {1--6},
   month = {July},
   year = {2002},
}