http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
14th International Symposium on Formal Methods
Fourteenth International Symposium on Formal Methods
International Symposium of Formal Methods Europe 2006 : Hamilton, Ont.)
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).
Includes bibliographical references and index.