12 citations · 24 across the 4 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 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on…