Model Checking Software via Abstraction of Loop Transitions.

Wed, 01 Jan 2003 00:00:00 +0100

Natasha Sharygina, James C. Browne:
Model Checking Software via Abstraction of Loop Transitions. FASE 2003: 325-340