"Proceedings 7th International Workshop on Formal Methods and Analysis in ..."

Julia Rubin, Thomas Thüm (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics