%0 Generic
%T A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
%A Lochbihler, Andreas
%A Snelting, G.
%I KIT Scientific Publishing, Karlsruhe
%@ 978-3-86644-885-8
%K concurrency
%K memory model
%K type safety
%K Java
%K formal semantics
%K DATA processing & computer science
%D 2012-01-01
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C KIT Scientific Publishing, Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation