Opening book details…
About this Computer Science article
Deriving Abstract Transfer Functions for Analyzing Embedded Software by Regehr, John; Duongsaa, Usit is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Regehr, John; Duongsaa, Usit
- Publisher
- Association for Computing Machinery; Special Interest Group on Computer Graphics, Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 0362-1340)
- Published
- 2006
- Field
- Computer Science (Physical Sciences)