Quantitative abstraction refinement

Open Webpage

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Published: 2013, Last Modified: 27 Apr 2025POPL 2013EveryoneRevisionsBibTeXCC BY-SA 4.0