Cited By
View all- Charguéraud AChlipala AErbsen AGruetter S(2023)Omnisemantics: Smooth Handling of NondeterminismACM Transactions on Programming Languages and Systems10.1145/357983445:1(1-43)Online publication date: 8-Mar-2023
- Stukalov IMamedova NStaroverova OMakarenkova E(2021)Method for Organizing Network Requests in iOS Applications2021 International Siberian Conference on Control and Communications (SIBCON)10.1109/SIBCON50419.2021.9438849(1-9)Online publication date: 13-May-2021
- 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
- Show More Cited By