Formalizing design spaces: Implicit invocation mechanisms (1991)

by D GARLAN, D NOTKIN
Venue:In VDM ’91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I