Enhancing Design-by-Contract with Frame Specifications.

Yoonsik Cheon, Benjamin Good

Browse the full ICSoft paper archive.