@inproceedings{Davies&Gibbons2008:Formal,
  abstract = "Electronic government is a challenging domain for software engineering, with complex requirements involving agility,transparency, accuracy, and accessibility. The techniques of <em>semantic frameworks</em>&mdash;metadata-based, model-driven development&mdash;may help to address these challenges. Data semantics and model transformations are prime application areas for formal methods, and so electronic government is an exciting new domain for education and training in formal methods.",
  address = "Kitakyushu, Japan",
  author = "Jim Davies and Jeremy Gibbons",
  booktitle = "Workshop on Formal Methods Education and Training at ICFEM",
  month = "October",
  title = "Formal Methods for Electronic Government",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/fmegov.pdf",
  year = "2008",
}