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

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Originalsprog	Engelsk
Publikationsdato	2009
Status	Udgivet - 2009
Udgivet eksternt	Ja
Begivenhed	23rd European Conference on Object-Oriented Programming: International Workshop on Formal Techniques for Java-like Programs - Genova, Italien Varighed: 6 jul. 2009 → 10 jul. 2009 Konferencens nummer: 23rd http://ecoop09.disi.unige.it/

Workshop

Workshop	23rd European Conference on Object-Oriented Programming
Nummer	23rd
Land/Område	Italien
By	Genova
Periode	06/07/2009 → 10/07/2009
Internetadresse	http://ecoop09.disi.unige.it/

Citationsformater

@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/",

}