Publications
Export 2 results:
Author Title Type [ Year
Filters: First Letter Of Title is R and Author is Natasha Sharygina [Clear All Filters]
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction,
, FM 24, 09/2024, (2024)
Resolution Proof Transformation for Compression and Interpolation,
, CoRR, Volume July 2013, (2013)