@misc{77996,
  keywords = {GEMS, annual assembly},
  author = {C. Gibert},
  title = {The Verification Project},
  year = {2006},
  journal = {GEMS Annual Assembly 2006},
  month = {2006},
  language = {eng},
}