Practical Verification of Embedded Software

Research output: Research - peer-reviewJournal article

Details

Original languageEnglish
JournalComputer (New York)
Volume33
Issue number5
Pages (from-to)68-75
ISSN0018-9162
StatePublished - 2000
Publication categoryResearch
Peer-reviewedYes
ID: 35085