A study on abstract interpretation and "validating microcode algebraically".
Edición de la obra A study on abstract interpretation and "validating microcode algebraically"
| Autor | Alan Mycroft |
|---|---|
| Editorial | University of Cambridge, Computer Laboratory |
| Fecha de publicación | 1986 |
| Lugar | Cambridge |
| Idioma | inglés |
| Páginas | 22 |
| Serie | Technical report -- No.97 |
| Número de Cutter | M995s |