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