Login / Signup

Classifying properties: an alternative to the safety-liveness classification.

Gleb NaumovichLori A. Clarke
Published in: SIGSOFT FSE (2000)
Keyphrases