Cited By
View all- Pearce DUtting MGroves L(2022)Verifying Whiley Programs with BoogieJournal of Automated Reasoning10.1007/s10817-022-09619-166:4(747-803)Online publication date: 20-Mar-2022
- Liu FLhoták OXing EPham NRichard-Foy JDoeraene S(2021)Safe object initialization, abstractlyProceedings of the 12th ACM SIGPLAN International Symposium on Scala10.1145/3486610.3486895(33-43)Online publication date: 17-Oct-2021
- Madsen Mvan de Pol J(2021)Relational nullable types with Boolean unificationProceedings of the ACM on Programming Languages10.1145/34854875:OOPSLA(1-28)Online publication date: 15-Oct-2021
- Show More Cited By