Computer-Aided Verification of Protocols: the Type Theoretic Approach

Authors
  • M.P.A. Sellink
Supervisors
Award date 27-02-1996
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Permalink to this page
Back