Search
Feedback
About
Help
News
Narrow your search
| Listing 1 - 2 of 2 |
Sort by
|
Book
A high-level formalization of floating-point numbers in PVS
Loading...
Authors:
Boldo, Sylvie.
---
Muñoz, César.
---
National Institute of Aerospace.
---
Langley Research Center.
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Book
A high-level formalization of floating-point numbers in PVS
Loading...
Authors:
Boldo, Sylvie.
---
Muñoz, César.
---
National Institute of Aerospace.
---
Langley Research Center.
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
| Listing 1 - 2 of 2 |
Sort by
|