http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Verification, model checking, and abstract interpretation
6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Includes bibliographical references and index.
Lecture notes in computer science ; 3385