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},
}