Reliable Software Technologies - Ada-Europe '97 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings - Hardy, Keith; Hardy, Keith; Briggs, Jim; Briggs, Jim (Springer Berlin Heidelberg : Imprint: Springer, 1997)