Login / Signup

thr2csp: Toward Transforming Threads into Communicating Sequential Processes.

Robert Charles LangeSpiros Mancoridis
Published in: SCAM (2009)
Keyphrases