Reliable Software Technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings - Michael González Harbour, Juan A. Puente ((Lecture Notes in Computer Science))