Publications

Export 56 results:
Author Title Type [ Year(Asc)]
2017
HiFrog: SMT-based Function Summarization for Software Veri cation, Alt, Leonardo, Asadi Sepideh, Chockler Hana, Mendoza Karine Even, Fedyukovich Grigory, Hyvarinen Antti E. J., and Sharygina Natasha , 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2017)

Pages