Ostroff, Jonathan S.
- Journal Article
Journal / seriesFormal aspects of computing
SubjectConcurrency; Object-oriented programming; Design by contract; SCOOP; Software verification; Safety and liveness properties; Partial correctness
NotesReceived 12 March 2007, Accepted 19 November 2007, Published online 4 January 2008.
MoreShow all metadata