Toward a theory of test data selection
Proceedings of the international conference on Reliable software
Developments in verification of design correctness (A Tutorial)
DAC '80 Proceedings of the 17th Design Automation Conference
An approach to efficient, fault tolerant programming
ACM SIGPLAN Notices
Validation and verification aspects of information modeling
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
| Hi-index | 0.00 |