1 paper
Catherine Dubois, Paolo Masci, Dominique Méry
This volume contains the proceedings of F-IDE 2016, the third international workshop on Formal Integrated Development Environment, which was held as an FM 2016 satellite event, on…