http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Verification, model checking, and abstract interpretation
11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
1 online resource (x, 395 pages) : illustrations
Gilles Barthe, Manuel Hermenegildo (eds.).
Title from PDF title page (SpringerLink, viewed Jan. 11, 2010).
Includes bibliographical references and index.
Lecture notes in computer science ; 5944
Theoretical computer science and general issues