-
Fortgeschrittene Programmierung mit Java 5 – generics, annotations, concurrency und reflection ; mit allen wesentlichen Neuerungen des J2SE 5.0
Nowak, Johannes 2005 dpunkt-Verl.
-
A machine-checked, type-safe model of Java concurrency – language, virtual machine, memory model, and verified compiler
Lochbihler, Andreas 2012 KIT Scientific Publ.
-
Formal verification of object-oriented software – international conference ; revised selected papers
Beckert, Bernhard ; Marché, Claude 2011 Springer
-
Programming languages and systems – 8th Asian symposium ; proceedings
Ueda, Kazunori 2010 Springer
-
Comparison of concurrency frameworks for the Java virtual machine
Kühner, Thomas 2015 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik