Refining Interface Alphabets for Compositional Verification.

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu

Browse the full TACAS paper archive.