Supporting Tools for Designing-By-Contract in Component-Based Applications
2005 ◽
pp. 1-13
◽