Proceedings of the Verification Workshop (VERIFY'01)<pre>@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},
}
</pre>