Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Strongest Postcondition of Unstructured Programs

Strongest Postcondition of Unstructured Programs

Radu Grigore‚ Fintan Fairmichael‚ Julien Charles and Joseph R. Kiniry

Journal
Formal Techniques for Java−like Programs (FTfJP)
Year
2009

Links

See Also

Back to Top