Login / Signup

Combining type-checking with model-checking for system verification.

Zhiqiang RenHongwei Xi
Published in: MEMOCODE (2016)
Keyphrases