Biblio
Filters: Author is Malecha, Gregory [Clear All Filters]
.
2016. Modular Deductive Verification of Sampled-data Systems. Proceedings of the 13th International Conference on Embedded Software. :17:1–17:10.