"2nd International Conference on Software Engineering and Formal Methods ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics