David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz. Proof general in Eclipse: system and architecture overview. In Michael G. Burke, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, ETX 2006, Portland, Oregon, USA, October 22-23, 2006. pages 45-49, ACM, 2006. [doi]
@inproceedings{AspinallWLF06,
title = {Proof general in Eclipse: system and architecture overview},
author = {David Aspinall and Daniel Winterstein and Christoph Lüth and Ahsan Fayyaz},
year = {2006},
doi = {10.1145/1188835.1188845},
url = {http://doi.acm.org/10.1145/1188835.1188845},
tags = {Eclipse, architecture},
researchr = {https://researchr.org/publication/AspinallWLF06},
cites = {0},
citedby = {0},
pages = {45-49},
booktitle = {Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, ETX 2006, Portland, Oregon, USA, October 22-23, 2006},
editor = {Michael G. Burke and Alessandro Orso and Martin P. Robillard},
publisher = {ACM},
isbn = {1-59593-621-1},
}