Treffer: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Veröffent­licht:
New York, NY : ACM, 2010
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (66 pages)
Publikationstyp:
E-Book
Sprache:
Englisch
Schlagworte:
ISBN:
9781450305402