The Concept of Class Invariant in Object-oriented Programming
Article in Formal Aspects of Computing (March 2024)
The most recent citing publications are shown below. View all 839 publications that cite this research output on Dimensions.
Article in Formal Aspects of Computing (March 2024)
Article in Science of Computer Programming (January 2024)
Article in Electronic Notes in Theoretical Informatics and Computer Science (November 2023)