Cited By
View all- Nelson TGreenman BPrasad SDyer TBove EChen QCutting CDel Vecchio TLeVine SRudner JRyjikov BVarga AWagner AWest LKrishnamurthi S(2024)Forge: A Tool and Language for Teaching Formal MethodsProceedings of the ACM on Programming Languages10.1145/36498338:OOPSLA1(613-641)Online publication date: 29-Apr-2024
- Cornejo CNovaira MPermigiani SAguirre NFrias MBrida SRegis G(2024)An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model FindingRigorous State-Based Methods10.1007/978-3-031-63790-2_9(141-159)Online publication date: 21-Jun-2024
- Lu SBodík R(2023)Grisette: Symbolic Compilation as a Functional Programming LibraryProceedings of the ACM on Programming Languages10.1145/35712097:POPL(455-487)Online publication date: 11-Jan-2023
- Show More Cited By