http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Workshop on Industrial-Strength Formal Specification Techniques
proceedings, April 5-8, 1995, Boca Raton, Florida
Industrial-strength formal specification techniques
Workshop on Industrial-Strength Formal Specification Techniques (1995 : Boca Raton, Fla.)
Technical Council on Software Engineering.
viii, 172 pages : illustrations ; 28 cm.
sponsored by IEEE Computer Society Technical Council on Software Engineering.
"IEEE catalog number 95TH8051"--Title page verso.
Iincludes bibliographical references and index.