Original language | English |
---|---|
Qualification | PhD |
Awarding Institution |
|
Supervisors/Advisors |
|
Place of Publication | Vrije Universiteit |
Publication status | Published - 2006 |
Verification Techniques for Extensions of Equality Logic
B. Badban
Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
229
Downloads
(Pure)