"Proceedings Fifth Workshop on Formal Integrated Development Environment, ..."

Rosemary Monahan, Virgile Prevosto, José Proença (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics