Modular Verification of Finite Blocking in Non-terminating Programs

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Peter Müller
Publisher: ETH-Zürich
Publication year: 2014
Start page: 1
End page: 40

Last updated on 2019-19-10 at 03:51