Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Mauborgne, Laurent Programming Logics, MPI for Informatics, Max Planck Society;
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., et al. (2002). Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter. In T. Mogensen, D. A. Schmidt, & I. H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones (pp. 85-108). Berlin, Germany: Springer.