Treffer: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
Verantwortlich:
Körperschaft:
Veröffentlicht:
New York, NY : ACM, 2012
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (53 pages)
Publikationstyp:
Sprache:
Englisch
Schlagworte:
ISBN:
9781450312721