Reliable Software Technologies -- Ada-Europe 2012

This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on...