Strongest Postcondition of Unstructured Programs

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

Strongest Postcondition of Unstructured Programs

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

University College Dublin

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Original language	English
Publication date	2009
Publication status	Published - 2009
Externally published	Yes
Event	23rd European Conference on Object-Oriented Programming: International Workshop on Formal Techniques for Java-like Programs - Genova, Italy Duration: 6 Jul 2009 → 10 Jul 2009 Conference number: 23rd http://ecoop09.disi.unige.it/

Workshop

Workshop	23rd European Conference on Object-Oriented Programming
Number	23rd
Country/Territory	Italy
City	Genova
Period	06/07/2009 → 10/07/2009
Internet address	http://ecoop09.disi.unige.it/

Cite this

@conference{7713b0a4e6f74afb9cea381b56a3f93f,

title = "Strongest Postcondition of Unstructured Programs",

author = "Radu Grigore and Julien Charles and Fintan Fairmichael and Kiniry, \{Joseph Roland\}",

year = "2009",

language = "English",

note = "23rd European Conference on Object-Oriented Programming : International Workshop on Formal Techniques for Java-like Programs, ECOOP 2009 ; Conference date: 06-07-2009 Through 10-07-2009",

url = "http://ecoop09.disi.unige.it/",

}