6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…