Ada-Europe 2016: Pisa, Italy

Invited Paper

Concurrency and Parallelism

Testing and Verification

Program Correctness and Robustness

Real-Time Systems

maintained by Schloss Dagstuhl LZI at University of Trier