Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
7th Workshop on Formal Techniques for Java-like Programs

Francesco Logozzo and Jan Vitek

Details

Publication typeProceedings
Published in 7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP'05)
URLhttp://www.jot.fm/issues/issue_2006_06
Volume5
Number5
> Publications > 7th Workshop on Formal Techniques for Java-like Programs