Interpreter composition issues in the formal verification of a processor-memory module
Edición de la obra Interpreter composition issues in the formal verification of a processor-memory module
| Autor | David A. Fura |
|---|---|
| Editorial | National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor |
| Fecha de publicación | 1994 |
| Lugar | Hampton, Va, [Springfield, Va |
| Idioma | inglés |
| Formato | Microform |
| Serie | NASA contractor report -- 4594. · NASA contractor report -- NASA CR-4594. |
| Número de Cutter | F983i |