Observations on industrial practice using formal methods - Gerhart, S.; Craigen, D.; Ralston, T. (Proceedings of 1993 15th International Conference on Software Engineering, 1993)
Keywords: Application software; Arithmetic; Certification; Marine vehicles; Oscilloscopes; Satellites; Software engineering; Software systems; Systems engineering and theory; Terminology