Second NASA Formal Methods Workshop, 1992
Corporate Authors: | , |
---|---|
Other Authors: | , , |
Format: | Government Document Conference Proceeding Book |
Language: | English |
Published: |
Hampton, Va. : [Springfield, Va. :
National Aeronautics and Space Administration, Langley Research Center ; National Technical Information Service, distributor,
1992]
|
Series: | NASA conference publication
10110 |
Subjects: |