Interactive Verification of Safety-Critical Software.

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Browse the full COMPSAC paper archive.