Lazy compositional verification (1998)

by N Shankar
Venue:In Compositionality: The Significant Difference (COMPOS’97