http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Verification, model checking, and abstract interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
Includes bibliographical references and author index.
Theoretical computer science and general issues
Lecture notes in computer science ; 6538