Formal methods for verification and validation of partial specifications
a case study
Edición de la obra Formal methods for verification and validation of partial specifications
| Autor | Steve Easterbrook |
|---|---|
| Editorial | West Virginia University, National Aeronautics and Space Administration, National Technical Information Service, distributor |
| Fecha de publicación | 1997 |
| Lugar | [Fairmont, W. Va.], [Washington, DC], [Springfield, Va |
| Idioma | inglés |
| Formato | Microform |
| Serie | Technical report series -- NASA/IVV-97-010. · NASA contractor report -- NASA CR-207040. |
| Número de Cutter | E13f |