Automated theorem proving: theory and practice

Authors:
M. Newborn
Affiliations:
-
Venue:
Automated theorem proving: theory and practice
Year:
2001

Citing 0
Cited 3

Octopus: Combining Learning and Parallel Search

Journal of Automated Reasoning
On Teaching Formal Methods: Behavior Models and Code Analysis

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Proof process evaluation with mutation analysis

TAP'10 Proceedings of the 4th international conference on Tests and proofs

Quantified Score

Hi-index	0.00

Visualization

Abstract