Model checking implicit invocation systems (2000)

by D Garlan, S Khersonsky
Venue:In Proceedings of the 10th International Workshop on Software Specification and Design