Clément Hurlin

C.H.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs978-3-8383-6316-5
(3-8383-6316-7)
2010

Clemente Hernandez