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
Peer-reviewPublication Information
Output type
Research Output:
Contribution to conference - NOT published in proceeding or journal
Paper
Peer-reviewOriginal language
EnglishPublication milestones
- Published - 2009
Publication status
Published - 2009
Publication IDs
- Scopus: 70450214783
Publication metrics
PlumX
Citation count
12
Captures
11
Related Event
Title
23rd European Conference on Object-Oriented Programming: International Workshop on Formal Techniques for Java-like Programs
Event type
WorkshopDegree of recognition
International eventDate
06/07/2009 - 10/07/2009Location
GenovaItaly