Treffer: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
Beteiligt:
Körperschaft:
Veröffentlicht:
New York, NY : ACM, 2012
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (53 pages)
Format:
Sprache:
Englisch
Anmerkungen:
Title from The ACM Digital Library
ISBN:
9781450312721