Structural embeddings
Subtitle: mechanization with method
By: César Muñoz, John Rushby.
Contributors: Rushby, John, 1949-; Langley Research Center.
Series: ICASE report -- no. 99-26.; [NASA contractor report] -- NASA/CR-1999-209360.; NASA contractor report -- NASA CR-209360.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1999
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Coding.; Embedding.; Mechanization.; Proving.
Other titles: Mechanization with method.
Notes: Shipping list no.: 2000-0108-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.