Towards Verification of Hybrid Systems in a Foundational Proof Assistant Daniel Ricketts Gregory Malecha

First Page		Document Content
Date: 2016-10-03 11:54:14		Towards Verification of Hybrid Systems in a Foundational Proof Assistant Daniel Ricketts Gregory Malecha Add to Reading List Source URL: ucsd-pl.github.io Download Document from Source Website File Size: 310,73 KB Share Document on Facebook