Login / Signup

CIVL: the concurrency intermediate verification language.

Stephen F. SiegelManchun ZhengZiqing LuoTimothy K. ZirkelAndre V. MarianielloJohn G. EdenhofnerMatthew B. DwyerMichael S. Rogers
Published in: SC (2015)
Keyphrases