Axiomatic Specifications in Firmware Development Systems
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
| Alkuperäiskieli | Englanti |
|---|---|
| Sivut | 49-58 |
| Julkaisu | IEEE Software |
| Vuosikerta | 3 |
| Numero | 4 |
| Tila | Julkaistu - 1986 |
| OKM-julkaisutyyppi | A1 Alkuperäisartikkeli |