Login / Signup

Provably correct inline monitoring for multithreaded Java-like programs.

Mads DamBart JacobsAndreas LundbladFrank Piessens
Published in: J. Comput. Secur. (2010)
Keyphrases