Login / Signup

An Automatic Technique for Static Deadlock Prevention.

Bertrand Meyer
Published in: Ershov Memorial Conference (2014)
Keyphrases