Instructions posted on:
http://recluze.wordpress.com/2007/06/17/installing-and-configuring-hol-ocl/
Posted by: recluze | June 17, 2007
HOL-OCL Installation Instructions Posted
Posted in Formal Methods, Isabelle
Security Engineering
Research group specializing in security engineering and formal methods — Moved to http://serg.imsciences.edu.pk
