7th Workshop on Formal Techniques for Java-like Programs

In   7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP'05)

Details

TypeProceedings
URLhttp://www.jot.fm/issues/issue_2006_06
Volume5
Number5
> Publications > 7th Workshop on Formal Techniques for Java-like Programs