Proceedings of the 3rd Verification Workshop (VERIFY'06)
@proceedings{AM-06-a, editor = {Serge Autexier and Heiko Mantel}, title = {Proceedings of the 3rd Verification Workshop (VERIFY'06)}, address = {Seattle, WA, USA}, month = {august}, year = {2006}, }