Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.

Julien Bertrane

Browse the full VMCAI paper archive.