Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Experimental Results on Subgoal Reordering
IEEE Transactions on Computers
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
Combining logical and algebraic techniques for natural style proving in elementary analysis
Mathematics and Computers in Simulation
Ker volume 25 issue 3 cover and back matter
The Knowledge Engineering Review
Ordered semantic hyper linking
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |