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