34 citations · 41 across the 11 of their papers we have counts for
1 paper · 1 filter
Paolo Masci, Rosemary Monahan, Virgile Prevosto
This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, o…