Proceedings of the Verification Workshop (VERIFY'01)
@proceedings{AM-01-a, editor = {Serge Autexier and Heiko Mantel}, title = {Proceedings of the Verification Workshop (VERIFY'01)}, number = {TR DII 08/01}, publisher = {Universit\`a dgli studi di Siena}, address = {Siena, Italy}, month = {june}, year = {2001}, }