K. N. Narahari, Shylaja Prasad, K. Karunakar. Is Software Safe to Fly?. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 299-313, Springer, 1995. [doi]
Abstract is missing.