TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Axiomatic Specifications in Firmware Development Systems

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut49-58
JulkaisuIEEE Software
Vuosikerta3
Numero4
TilaJulkaistu - 1986
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso