| emsoft | participants

Gregory Malecha

EMSOFT 2016: 16th International Conference on Embedded Software

Modular Deductive Verification of Sampled-Data Systems

Daniel Ricketts, Gregory Malecha, and Sorin Lerner