Compositional verification by model checking for counter-examples
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Verification techniques for cache coherence protocols
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |