Stuck-Free Conformance (2004)

by Cédric Fournet, C A R Hoare, Sriram K Rajamani, Jakob Rehof
Venue:In CAV’04, volume 3114 of LNCS