Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT

Roderick Chapman, Robert Dewar. Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. In Michael González Harbour, Juan Antonio de la Puente, editors, Reliable Software Technologies - Ada-Europe 99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Volume 1622 of Lecture Notes in Computer Science, pages 39-51, Springer, 1999. [doi]

Authors

Roderick Chapman

This author has not been identified. Look up 'Roderick Chapman' in Google

Robert Dewar

This author has not been identified. Look up 'Robert Dewar' in Google