A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Organizing Speculative Computations in Functional Systems
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Agent-based distributed software verification
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Faster and More Complete Extended Static Checking for the Java Modeling Language
Journal of Automated Reasoning
Hi-index | 0.00 |