Cited By
View all- Gauthier LPrevosto VSignoles JFuria CLopes APlat NGnesi S(2024)A Semantics of Structures, Unions, and Underspecified Terms for Formal SpecificationProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644380(100-110)Online publication date: 14-Apr-2024
- Chapman RDross CMatthews SMoy Y(2024)Co-Developing Programs and Their Proof of CorrectnessCommunications of the ACM10.1145/362472867:3(84-94)Online publication date: 22-Feb-2024
- Ferrara PArceri VCortesi A(2024)Challenges of software verification: the past, the present, the futureInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00765-y26:4(421-430)Online publication date: 1-Aug-2024
- Show More Cited By