Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
Richard J. Boulton, Paul B. Jackson
All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
