Cited By
View all- Charguéraud A(2020)Separation logic for sequential programs (functional pearl)Proceedings of the ACM on Programming Languages10.1145/34089984:ICFP(1-34)Online publication date: 3-Aug-2020
- McCorkle E(2016)A case for combining industrial pragmatics with formal methods2016 IEEE Cybersecurity Development (SecDev)10.1109/SecDev.2016.021(63-64)Online publication date: Nov-2016
- Malecha GBengtson J(2016)Extensible and Efficient Automation Through Reflective TacticsProgramming Languages and Systems10.1007/978-3-662-49498-1_21(532-559)Online publication date: 2016
- Show More Cited By