Graham Buckle. Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences). In Felix Redmill, Tom Anderson 0001, editors, Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998. pages 150-168, Springer, 1998. [doi]
Abstract is missing.