Unintrusive Ways to Integrate Formal Specifications in Practice.

Jeannette M. Wing, Amy Moormann Zaremski

Browse the full FM paper archive.