Structural embeddings [microform] : mechanization with method / César Muñoz, John Rushby.
"The most powerful tools for analysis of formal specifications are general-purpose theorem provers and model checkers, but these tools provide scant methodological support. Conversely, those approaches that do provide a well-developed method generally have less powerful automation. It is natura...
Saved in:
| Online Access: |
Click here to view full text online |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Other Authors: | |
| Other title: | Mechanization with method. |
| Format: | Government Document Microfilm Book |
| Language: | English |
| Published: |
Hampton, Va. : [Springfield, Va.] :
National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor],
[1999]
|
| Series: | NASA contractor report ;
NASA CR-209360. ICASE report ; no. 99-26. |
| Subjects: |
Internet
Click here to view full text onlineNorlin Library - Government Information - Microform
| Call Number: |
NAS 1.26:209360
|
|---|---|
| NAS 1.26:209360 | Restricted Place a Hold |
Online
| Call Number: |
NAS 1.26:209360
|
|---|---|
| NAS 1.26:209360 | Available |