NIMBUS: A Tool for Specification Centered Development.

Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson

Browse the full RE paper archive.