Correct-program technology/Extensibility of verifiers. Two papers on program verification.
By Martin Davis and J.T. Schwartz.
Edición de la obra Correct-program technology/Extensibility of verifiers. Two papers on program verification
| Autor | Martin Davis |
|---|---|
| Editorial | Courant Institute of Mathematical Sciences, New York University |
| Fecha de publicación | 1977 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 146 |
| Número de Cutter | D263c |