Tampere University of Technology

TUTCRIS Research Portal

Axiomatic Specifications in Firmware Development Systems

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)49-58
JournalIEEE Software
Volume3
Issue number4
Publication statusPublished - 1986
Publication typeA1 Journal article-refereed

Publication forum classification