Formal Analysis of Log Files release_y5gj6s5xnncvdbaepgjndg6aum

by Howard Barringer, Alex Groce, Klaus Havelund, Margaret Smith

Published in Journal of Aerospace Computing Information and Communication by American Institute of Aeronautics and Astronautics (AIAA).

2010   Issue 11, p365-390

Archived Files and Locations

application/pdf  712.0 kB
file_pefjjk3vvjg7hifa55pacoftm4
web.archive.org (webarchive)
havelund.com (web)
web.archive.org (webarchive)
www.havelund.com (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2010
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1542-9423
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e03ee484-d4ee-47e5-95ec-c04eee906d14
API URL: JSON