When is "partial" adequate? a logic-based proof technique using partial specifications (1990)

by R Cleaveland, B Steffen
Venue:Proc. IEEE Symp. Logic in Computer Science