Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Ricketts
conf.researchr.org general profile
POPL 2016 profile
Not registered as user
Name:
Daniel Ricketts
Affiliation:
University of California, San Diego
Personal website:
http://cseweb.ucsd.edu/~daricket/
Contributions
2016
CoqPL
Author of Formal Verification of Stability Properties of Cyber-Physical Systems within the CoqPL-track
Share
x
Sun 22 Dec 10:59