Triple Dots in a Formal Language
Journal of Automated Reasoning
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Finding unity in computational logic
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Hi-index | 0.00 |