Integrating Physical Systems in the Static Analysis of Embedded Control Software.

Patrick Cousot

Browse the full APLAS paper archive.