http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings
International Conference of B and Z Users 2000 : York, England)
1 online resource (xiv, 510 pages) : illustrations.
Includes bibliographical references and index.
International Conference of B and Z Users (1st : 2000 : York, England).
Lecture notes in computer science ; 1878