"Formal Techniques for Safety-Critical Systems - 7th International ..."

Osman Hasan, Frédéric Mallet (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics