Alastair Donaldson

• Model Checking Software
• Model Checking Software 19th International Workshop Proceedings