| emsoft | participants

Sorin Lerner

EMSOFT 2016: 16th International Conference on Embedded Software

Modular Deductive Verification of Sampled-Data Systems

Daniel Ricketts, Gregory Malecha, and Sorin Lerner