TY - GEN
AU - Pearce, David J
AU - Association for Computing Machinery-Digital Library
AU - ACM Special Interest Group on Software Engineering
AU - ACM Special Interest Group on Programming Languages
TI - Proceedings of 16th Workshop on Formal Techniques for Java-like Programs
PB - ACM
SN - 9781450328661
KW - Software
KW - Theory of Computation
KW - Computer science
KW - Formal languages and automata theory
KW - Formal language definitions
KW - Semantics and reasoning
KW - Konferenzschrift
PY - 2014
BT - ACM Other conferences
BT - ACM Digital Library
CY - New York, NY
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation