Title: Reliable software technologies, Ada-Europe 2010
Subjects: Reliability, Congresses, Software engineering, Computer software, Logic design, Computer networks, Computer science, Computational complexity