Skip to main navigation Skip to search Skip to main content

Verification Techniques for Extensions of Equality Logic

  • B. Badban

Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal

331 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, WJ, Supervisor
  • van de Pol, J.C., Co-supervisor, -
Place of PublicationVrije Universiteit
Publication statusPublished - 2006

Bibliographical note

Naam instelling promotie: Vrije Universiteit

Access to Document

Persistent URL (handle)

    Cite this