Cited By
View all- Wolff FBílý AMatheja CMüller PSummers A(2021)Modular specification and verification of closures in RustProceedings of the ACM on Programming Languages10.1145/34855225:OOPSLA(1-29)Online publication date: 15-Oct-2021
- Cok DTasiran S(2018)Practical Methods for Reasoning About Java 8’s Functional Programming FeaturesVerified Software. Theories, Tools, and Experiments10.1007/978-3-030-03592-1_15(267-278)Online publication date: 18-Jul-2018
- Leino K(2013)Automating theorem proving with SMTProceedings of the 4th international conference on Interactive Theorem Proving10.1007/978-3-642-39634-2_2(2-16)Online publication date: 22-Jul-2013
- Show More Cited By