Login / Signup

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.

Crystal Chang DinOlaf OweRichard Bubel
Published in: MODELSWARD (2014)
Keyphrases