http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Automated technology for verification and analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
"2nd International Symposium on Automated Technology on Verification and Analysis (ATVA)"--Pref.
Includes bibliographical references and index.
Lecture notes in computer science ; 3299