Login / Signup

Model variables: cleanly supporting abstraction in design by contract.

Yoonsik CheonGary T. LeavensMurali SitaramanStephen H. Edwards
Published in: Softw. Pract. Exp. (2005)
Keyphrases