CPTR637 Formal Methods
  • Sylabus
  • The Way of Z by Jonathan Jacky
  • To add zsym fonts to LibreOffice, put zsym.ttf in ~/.libreoffice/3/user/fonts/zsym.ttf