Treffer: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs

Veröffent­licht:
New York, NY : ACM, 2014
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (33 pages)
Format:
E-Book
Sprache:
Englisch
Anmerkungen:
Title from The ACM Digital Library
ISBN:
9781450328661

Zusatz-Informationen