Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Multithreaded

von Clément Hurlin

Taschenbuch

ISBN: 978-3-8383-6316-5

ISBN-10: 3-8383-6316-7

LAP LAMBERT Academic Publishing · 2010