Treffer: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Verantwortlich:
Körperschaft:
Veröffentlicht:
New York, NY : ACM, 2011
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (85 pages)
Publikationstyp:
Sprache:
Englisch
Schlagworte:
ISBN:
9781450308939