Normal view
MARC view
Computer programs Verification Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)169420: International Workshop on Verification, Model Checking, and Abstract Interpretation, Madrid, Spain, January 17-19, 2010 23224, Verification, model checking, and abstract interpretation : 11th international conference : VMCAI, Madrid, Spain, January 17-19, 2010 : proceedings (e-book), 2010