http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
International Symposium of Formal Methods Europe
International Symposium of Formal Methods Europe 2005 : Newcastle upon Tyne, England)
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).
"13th International Symposium of Formal Methods Europe"--Pref.
Includes bibliographical references and index.