Proof General in Eclipse

@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}
}