This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau,
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park,
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals
