Login / Signup

SMT solvers: new oracles for the HOL theorem prover.

Tjark Weber
Published in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases