Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings - Gonzalez Harbour, Michael; Gonzalez Harbour, Michael; de la Puente, Juan A.; de la Puente, Juan A. (Springer Berlin Heidelberg : Imprint: Springer, 1999)