Usage
  • 20 views
  • 9 downloads

Verifying communication protocols in MIZAR-2

  • Language
    English
  • Institution
    University of Alberta
  • Degree level
    Master's
  • Department
    • Department of Computing Science