PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software VerificationMarkSimone Fulvio Rollini[0]Leonardo Alt[0]Grigory Fedyukovich[0]Antti Eero Johannes Hyvärinen[0]Natasha Sharygina[0]LPAR, pp. 683-693, 2013.Cited by: 28|Bibtex|Views13|LinksEI Code: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceCitedUpload PPTYour rating :0 TagsCommentsSubmit
