Linking Hazard Analysis to Formal Specification and Design in B.

Kevin Lano, Pauline Kan, Arturo Sanchez

Browse the full SAFECOMP paper archive.