Visible to the public Biblio

Filters: Author is Matthew Chan, Daniel Ricketts, Sorin Lerner,  [Clear All Filters]
2018-05-27
Matthew Chan, Daniel Ricketts, Sorin Lerner,, Gregory Malecha.  2016.  Formal Verification of Stability Properties of Cyber-physical Systems. CoqPL'16: The Second International Workshop on Coq for PL.