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