DMCA

Static Analysis by Abstract Interpretation of the Quasisynchronous Composition of Synchronous Programs (2005)

by Julien Bertrane
Venue:IN: VMCAI 05 : PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
Citations:10 - 2 self