Security of Multithreaded Programs by Compilation
Paper i proceeding, 2007

Författare

Gilles Barthe

Tamara Rezk

Alejandro Russo

Chalmers, Data- och informationsteknik, Datavetenskap

Andrei Sabelfeld

Chalmers, Data- och informationsteknik, Datavetenskap

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 4734 2-18

Ämneskategorier

Datavetenskap (datalogi)

ISBN

978-3-540-74834-2