"Proceedings 4th Workshop on Formal Integrated Development Environment, ..."

Paolo Masci, Rosemary Monahan, Virgile Prevosto (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics