10 citations · 18 across the 10 of their papers we have counts for
1 paper · 1 filter
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event,…