Formal methods tool qualification, Lucas G. Wagner [and four others]
Type
Label
Formal methods tool qualification, Lucas G. Wagner [and four others]
Language
eng
Bibliography note
Includes bibliographical references (pages 38-40)
resource.governmentPublication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary Form
non fiction
Main title
Formal methods tool qualification
Nature of contents
dictionariestechnical reportsbibliography
Oclc number
992118912
Responsibility statement
Lucas G. Wagner [and four others]
Series statement
NASA/CR, 2017-219371
Contributor
Creator
Content
Author
resource.issuingbody
Mapped to
Incoming Resources
- Has instance1
Outgoing Resources
- Contributor1
- Creator1
- Subject5
- Content1
- Author1
- Is Part Of1
- resource.issuingbody1
- Mapped to1