Verification Techniques for Extensions of Equality Logic

B. Badban

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

129 Downloads (Pure)
Original languageEnglish
Awarding Institution
  • Vrije Universiteit Amsterdam
  • Fokkink, Wan, Supervisor
  • van de Pol, J.C., Co-supervisor, External person
Place of PublicationVrije Universiteit
Publication statusPublished - 2006

Bibliographical note

Naam instelling promotie: Vrije Universiteit

Cite this