Title: Verified software
Subjects: Programmverifikation, Formale Methode, Programmtest, Congresses, Verification, Computer programs, Software, Verifikation, Programmanalyse, Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, verification
Places: Edinburgh <2010>