Login / Signup

Model Checking Software via Abstraction of Loop Transitions.

Natasha SharyginaJames C. Browne
Published in: FASE (2003)
Keyphrases