Reliable Software Technologies - Ada-Europe 2014

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