Interactive Theorem Proving, Guest Lecture - Introduction to HOL, by Magnus Myreen

Published --