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]
Abstract is missing.