Design of a proof assistant for process algebras

  • P. Verduin

Scriptie/Masterproef: Master

Samenvatting

Datum prijs28 feb 2010
Originele taalEngels
BegeleiderJ.C.M. Baeten (Afstudeerdocent 1) & Erik Luit (Afstudeerdocent 2)

Citeer dit

'