2006-09-07
Verification Techniques for Extensions of Equality Logic
Publication
Publication
Additional Metadata | |
---|---|
VU | |
W.J. Fokkink (Wan) | |
Vrije Universiteit Amsterdam | |
hdl.handle.net/1871/10201 | |
Badban, B. (2006, September 7). Verification Techniques for Extensions of Equality Logic. VU. Retrieved from http://hdl.handle.net/1871/10201 |