2 ms·Safe Object-Oriented Software: The Verified Design-by-Contract Paradigm [pdf]2 points by rramadass 1y ago