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
| Type: | Inproceedings |
| Volume: | 4906 |
| Series: | Lectures Notes in Computer Science |
Related People
©2009 Microsoft Corporation. All rights reserved.