@InProceedings{AlbertEA08, author = {E. Albert and A. Banerjee and S. Drossopoulou and M. Huisman and A. Igarashi and G. T. Leavens and P. M\"uller and T. Wrigstad}, title = {Formal Techniques for {J}ava-Like Programs {(FTfJP)}}, booktitle = {Object-Oriented Technology. {ECOOP}~2008 Workshop Reader}, year = {2008}, editor = {P. Eugster}, series = {Lecture Notes in Computer Science}, volume = {5475}, pages = {70--76}, publisher = {Springer-Verlag}, url = {https://doi.org/10.1007/978-3-642-02047-6_8}, urltext = {[Publisher]} }