next up previous contents
Next: Integrated Net Analyzer Up: Survey of Courses per Previous: Gofer   Contents

HOL

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
Specification and Verification T.U. München T. Nipkow ATP , FOL , FPT , HOL , Isabelle , SML
next up previous contents
Next: Integrated Net Analyzer Up: Survey of Courses per Previous: Gofer   Contents
2004-11-04