Cited By
View all- Spector-Zabusky ABreitner JRizkallah CWeirich S(2018)Total Haskell is reasonable CoqProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 201810.1145/3176245.3167092(14-27)Online publication date: 2018
- Spector-Zabusky ABreitner JRizkallah CWeirich SAndronick JFelty A(2018)Total Haskell is reasonable CoqProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3167092(14-27)Online publication date: 8-Jan-2018
- Klein GAndronick JElphinstone KMurray TSewell TKolanski RHeiser G(2014)Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems10.1145/256053732:1(1-70)Online publication date: 26-Feb-2014
- Show More Cited By