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

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2...

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

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the ...