7th Workshop on Formal Techniques for Java-like Programs
Francesco Logozzo and Jan Vitek
July 2006
In 7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP'05)
Details
| Type | Proceedings |
| URL | http://www.jot.fm/issues/issue_2006_06 |
| Volume | 5 |
| Number | 5 |
Related People
Share
