Specifying and verifying safety-critical software systems.

Lon D. Gowen

Browse the full CBMS paper archive.