Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is I and Author is M. Müller-Olm [Clear All Filters]
, “Iterable Forward Reachability Analysis of Monitor-DPNs”, in Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt), 2013.