28 citations · 92 across the 14 of their papers we have counts for
1 paper · 1 filter
Rosemary Monahan, Virgile Prevosto, Jose Proença
This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portu…