Additional Metadata
THEME Software (theme 1)
Citation
Haverkort, B, Groote, J.F, van de Pol, J.C, Kuntz, M, & Weber, M. (2006). VeriGEM: A verification grid for enhanced model checking.