standard was also approved by ISO/IEC as ISO/IEC 25436.).
240 Stephen H. Edwards, M. Sitaraman, B.W. Weide, and E. Hollingsworth (Virginia Tech), “ContractChecking Wrappers for C++ Classes,” IEEE Transactions on Software Engineering 30, no. 11
(November 2004): 794–810.
241 Yves Le Traon, Benoit Baudry, and Jean-Marc Jezequel, “Design by Contract to Improve Software