![](/img/cover-not-exists.png)
[ACM Press the 11th International Workshop - Genova, Italy (2009.07.06-2009.07.06)] Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs - FTfJP '09 - Preliminary design of a unified JML representation and software infrastructure
Robby,, Chalin, PatriceYear:
2009
Language:
english
DOI:
10.1145/1557898.1557903
File:
PDF, 349 KB
english, 2009