Login / Signup

A Revisionist History of Concurrent Separation Logic.

Stephen Brookes
Published in: MFPS (2011)
Keyphrases