Design By Contract. The Eiffel Method | IEEE Conference Publication | IEEE Xplore