![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] The Essence of Computation Volume 2566 || Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
Mogensen, Torben Æ., Schmidt, David A., Sudborough, I. HalVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-36377-7_5
File:
PDF, 295 KB
english, 2002