@InProceedings{W30,
  key    =       {W30},
  author = 	 {Mark Buckley and Christoph Benzm{\"u}ller},
  title = 	 {Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor},
  booktitle = 	 {Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP)},
  year =	 2005,
  pages =        {16-39},
  address =	 {Edinburgh, Scotland},
  chrisnote =	 {W30},
  abstract =	 {},
  url =		 {},
}