Cited By
View all- Meyer BArkadova AKogtenkov A(2024)The Concept of Class Invariant in Object-oriented ProgrammingFormal Aspects of Computing10.1145/362620136:1(1-38)Online publication date: 24-Jan-2024
- Brieven GLiénardy SMalcev LDonnet B(2023)Graphical Loop Invariant Based ProgrammingFormal Methods Teaching10.1007/978-3-031-27534-0_2(17-33)Online publication date: 23-Feb-2023
- Liu YNie PLegunsen OGligoric M(2022)Inline TestsProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556952(1-13)Online publication date: 10-Oct-2022
- Show More Cited By