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 |