An approach to safety and correctness verification of software design specification.

Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno

Browse the full ISSRE paper archive.