Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007.

John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, and Arnd Poetzsch-Heffter

Details

Publication typeInproceedings
Published inObject-Oriented Technology, ECOOP 2007 Workshop Reader
Volume4906
SeriesLectures Notes in Computer Science
PublisherSpringer Verlag
> Publications > Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007.