Result: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

*Title*:

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

New York, NY : ACM, 2009

*Distribution*:

New York, NY : ACM

*Physical description scale*:

1 Online-Ressource (64 pages)

*Format*:

*eBook*

*Language*:

*eng*

*Subject Added Keywords*:

*ISBN*:

9781605585406

*Result*: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs