@inproceedings{conf/eclipse/AspinallWLF06,
title = {Proof general in Eclipse: system and architecture overview.},
author = {David Aspinall and Daniel Winterstein and Christoph Lüth and Ahsan Fayyaz},
booktitle = {ETX},
crossref = {conf/eclipse/2006},
editor = {Michael G. Burke and Alessandro Orso and Martin P. Robillard},
pages = {45-49},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2006.html#AspinallWLF06},
year = {2006},
description = {dblp},
date = {2008-04-02}, ee = {http://doi.acm.org/10.1145/1188835.1188845}, isbn = {1-59593-621-1},
keywords = {dblp }
}
::