Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Alexander Romanovsky Tullio Vardanega Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings 6652 2011 http://dx.doi.org/10.1007/978-3-642-21338-0 978-3-642-21337-3 Ada-Europe Lecture Notes in Computer Science Springer db/conf/adaEurope/adaEurope2011.html