|
The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Published 2002
Table of Contents:
“... Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract...”
Springer Berlin Heidelberg