C. Stirling;D. Walker
-;-
The European telecommunications research and development program RACE and its software project SPECS
IBM Systems Journal
Compositional verification by model checking for counter-examples
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis