Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: ACM Digital Library | ACM Other conferencesPublisher: New York, NY : ACM, 2012Description: Online-Ressource (1 online resource (53 pages))ISBN:- 9781450312721
- FTfJP '12
No physical items for this record
Association for Computing Machinery-Digital Library