DMCA

Model checking implicit invocation systems (2000)

by David Garlan , Serge Khersonsky
Venue:In Proceedings of the 10th International Workshop on Software Specification and Design
Citations:33 - 4 self