Login / Signup
Etch: An Enhanced Type Checking Tool for Promela.
Alastair F. Donaldson
Simon J. Gay
Published in:
SPIN (2005)
Keyphrases
</>
type checking
data types
query processor
high level