Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software Academic Article
Overview
publication date
- January 1, 1995
has subject area
published in
- The Computer Journal Journal
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
- 301
end page
- 309
volume
- 38
issue
- 4