Normal view
MARC view
Barthe, Gilles Editor (Personal Name)
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