MOMENTAN AUSVERKAUFT

Separation Logic for Multithreaded Object-Oriented Languages von Clément Hurlin (2010, Taschenbuch)