Lu?s Miguel Pinho

{PDF} Reliable Software Technologies ? Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings Jos? A. Pulido, Santiago Urue?a, Juan Zamorano, Tullio Vardanega, Juan A. de la Puente (auth.), Lu?s Miguel Pinho, Michael Gonz?lez Harbour (eds.)