Reliable and Concurrent Software - RT Java Reliable and Concurrent Software - Erlang Reliable and Concurrent Software - Java language Reliable and Concurrent Software - Ravenscar Reliable and Concurrent Software: Ada presentation Reliable and Concurrent Software: SPARK presentation 
