Publications
Export 1 results:
Author Title [ Type
Filters: First Letter Of Title is H and Author is Natasha Sharygina [Clear All Filters]
HiFrog: SMT-based Function Summarization for Software Verification,
, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)