Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
Building formal method tools in the Isabelle/Isar framework
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Hi-index | 0.00 |