"Refining Interface Alphabets for Compositional Verification."

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics