Publikation
David Aspinall, Christoph Lüth, Daniel Winterstein, Ahsan Fayyaz
In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06) ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications befindet sich OOPSLA 2006 October 22-26 Portland OR United States ACM Press 2006.
@inproceedings{pub3892, author = { Aspinall, David and Lüth, Christoph and Winterstein, Daniel and Fayyaz, Ahsan }, title = {Proof General in Eclipse}, booktitle = {Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, befindet sich OOPSLA 2006, October 22-26, Portland, OR, United States}, year = {2006}, publisher = {ACM Press} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022