TY - GEN
AU - Banerjee, Anindya
AU - Association for Computing Machinery
AU - ACM Special Interest Group on Programming Languages
TI - Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
PB - ACM
SN - 9781605585406
KW - Computer science
KW - Software
KW - Theory of Computation
KW - Formal language definitions
KW - Formal languages and automata theory
KW - Language types
KW - Konferenzschrift
PY - 2009
N2 - Title from The ACM Digital Library
BT - ACM Digital Library
BT - ACM Other conferences
CY - New York, NY
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation