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