Items where Author is "<span class="person_name">Niqui, Milad</span>"
Number of items: 1.
  • Modular Development of Hybrid Systems for Verification in Coq. (2008) Milad Niqui and Olga Tveretina