Title: Tests and proofs
Subjects: Beweis, Model Checking, Testing, Programmtest, Quality control, Congresses, Formale Methode, Reliability, Softwareentwicklung, Softwaresystem, Computer software, Logic design, Computer science, Software engineering, Computer software, verification
Places: Málaga <2010>