Ken Wong
-
Refinement of Safety-Related Hazards into Verifiable Code Assertions
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security