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