author = { Pearce, David J Association for Computing Machinery-Digital Library AND ACM Special Interest Group on Software Engineering AND ACM Special Interest Group on Programming Languages },

title = { Proceedings of 16th Workshop on Formal Techniques for Java-like Programs },

publisher = {ACM},

isbn = {9781450328661},

keywords = { Software , Theory of Computation , Computer science , Formal languages and automata theory , Formal language definitions , Semantics and reasoning , Konferenzschrift },

year = {2014},

booktitle = {ACM Other conferences},

booktitle = {ACM Digital Library},

address = { New York, NY },

url = { http://slubdd.de/katalog?TN_libero_mab2 }