A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.

Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso

Browse the full SAFECOMP paper archive.