![](/img/cover-not-exists.png)
Verified Code Generation for Embedded Systems
Sabine Glesner, Rubino Geiß, Boris BoeslerVolume:
65
Year:
2002
Language:
english
Pages:
18
DOI:
10.1016/s1571-0661(04)80394-3
File:
PDF, 310 KB
english, 2002