Verification Techniques for Extensions of Equality Logic

B. Badban

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., 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

Badban, B. (2006). Verification Techniques for Extensions of Equality Logic. Vrije Universiteit.
Badban, B.. / Verification Techniques for Extensions of Equality Logic. Vrije Universiteit, 2006.
@phdthesis{ee36cb01bb2d4ab3a336c7ccf946cb78,
title = "Verification Techniques for Extensions of Equality Logic",
author = "B. Badban",
note = "Naam instelling promotie: Vrije Universiteit",
year = "2006",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Badban, B 2006, 'Verification Techniques for Extensions of Equality Logic', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

Verification Techniques for Extensions of Equality Logic. / Badban, B.

Vrije Universiteit, 2006.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

TY - THES

T1 - Verification Techniques for Extensions of Equality Logic

AU - Badban, B.

N1 - Naam instelling promotie: Vrije Universiteit

PY - 2006

Y1 - 2006

M3 - PhD Thesis - Research external, graduation VU

CY - Vrije Universiteit

ER -