Using Interface Specifications for Compositional Reduction (1991)

by S Graf, B Steffen
Venue:In Computer-Aided Verification '90. American Mathematical Society