Proceedings of the Verification Workshop (VERIFY'02)
@proceedings{AM-02-a, editor = {Serge Autexier and Heiko Mantel}, title = {Proceedings of the Verification Workshop (VERIFY'02)}, series = {Technical Report}, publisher = {DIKU}, address = {Copenhagen, Denmark}, month = {july}, year = {2002}, }