Reliable software technologies--Ada-Europe ʹ97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings - Hardy, Keith; Briggs, Jim (Lecture notes in computer science, 1997)