Vladimir Batov
-
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering