Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs

Gespeichert in:
Weitere Titel:
FTfJP '11
1. Verfasser:
Freund, Stephen
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York, NY ACM 2011
Umfang:
1 online resource (85 pages)
Schriftenreihe:
ACM Digital Library
ISBN:
9781450308939
Schlagworte:
Links: