Jun Sawada

Email address:

Publications

Dissertation

FM9801 Project

Resources

  •  ACL2 Home Page and its documentation
  • Common Lisp Language, 2nd Edition
  • PVS
  • Other Frequently Accessed Pages:

  • UT Austin CS Department
  • Computational Logic Inc