Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens Weber, John Hatcliff. Software certification consortium: certification methods for safety-critical software. In Joanna W. Ng, Christian Couturier, Hausi A. Müller, Arthur G. Ryman, editors, Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, November 1-4, 2010, Toronto, Ontario, Canada. pages 434-436, ACM, 2010. [doi]
Abstract is missing.