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

'