Strongest Postcondition of Unstructured Programs

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Roland Kiniry

Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

Original languageEnglish
Publication date2009
Publication statusPublished - 2009
Externally publishedYes
Event23rd European Conference on Object-Oriented Programming: International Workshop on Formal Techniques for Java-like Programs - Genova, Italy
Duration: 6 Jul 200910 Jul 2009
Conference number: 23rd
http://ecoop09.disi.unige.it/

Workshop

Workshop23rd European Conference on Object-Oriented Programming
Number23rd
Country/TerritoryItaly
CityGenova
Period06/07/200910/07/2009
Internet address

Cite this