Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007.

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
> Publications > Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007.