Cited By
View all- Brain MPolgreen E(2024)A Pyramid Of (Formal) Software VerificationFormal Methods10.1007/978-3-031-71177-0_24(393-419)Online publication date: 13-Sep-2024
- Carr SLogozzo FPayer M(2017)Automatic Contract Insertion with CCBotIEEE Transactions on Software Engineering10.1109/TSE.2016.262524843:8(701-714)Online publication date: 1-Aug-2017
- Cousot PFalaschi MAlbert E(2015)Verification by abstract interpretation, soundness and abstract inductionProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming10.1145/2790449.2790451(1-4)Online publication date: 14-Jul-2015
- Show More Cited By