Publications
Export 1 results:
[ Author] Title Type Year Filters: First Letter Of Title is F and Author is Sery, O. [Clear All Filters]
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization,
, Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)