"Guest Editorial for the Special Issue on FORmal methods for the ..."

Maurice H. ter Beek, Michele Loreti (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics