Design of a proof assistant for process algebras

  • P. Verduin

Student thesis: Master

Abstract

Date of Award28 Feb 2010
Original languageEnglish
SupervisorJ.C.M. Baeten (Supervisor 1) & Erik Luit (Supervisor 2)

Cite this

Design of a proof assistant for process algebras
Verduin, P. (Author). 28 Feb 2010

Student thesis: Master