Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

9 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publication29th European Conference on Object-Oriented Programming (ECOOP 2015)
EditorsJohn Boyland
Pages639–663
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication
EventEuropean Conference on Object-Oriented Programming (ECOOP) - 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Duration: 5 Jul 201510 Jul 2015

Conference

ConferenceEuropean Conference on Object-Oriented Programming (ECOOP)
Period05/07/1510/07/15

Cite this