Microsoft Research
Microsoft Translator |
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
2008

In  Object-Oriented Technology, ECOOP 2007 Workshop Reader

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
Volume4906
SeriesLectures Notes in Computer Science
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007.