http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
Seventh International Conference of B Users
International B Conference 2007 : Besançon, France)
xiii, 292 pages : illustrations ; 24 cm.
Jacques Julliand, Olga Kouchnarenko (eds.).
Includes bibliographical references and index.
Lecture notes in computer science ; 4355