http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
10th Ada-Europe International Conference on Reliable Software Technologies
Tenth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe International Conference on Reliable Software Technologies 2005 : York, England)
Applications -- Design and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.
Includes bibliographical references and index.