Verification Techniques for Extensions of Equality Logic

Additional Metadata
THEME	Software (theme 1)
Publisher	VU
Promotor	W.J. Fokkink (Wan)
Degree Grantor	Vrije universiteit Amsterdam
Persistent URL	hdl.handle.net/1871/10201
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Badban, B. (2006). Verification Techniques for Extensions of Equality Logic[VU].http://hdl.handle.net/1871/10201

Publication