Title: Advanced lectures on software engineering
Subjects: Programmverifikation, Software enginnering, Congresses, Software Engineering, Nebenläufigkeit, Informatique, Software engineering, Congrès, Génie logiciel, Software