Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings - Keith Hardy, Jim Briggs ((Lecture Notes in Computer Science))