Reliable Software Technologies - Ada-Europe '98 : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings - Lars Asplund ((Lecture Notes in Computer Science))