2 citations · 5 across the 3 of their papers we have counts for
1 paper · 2 filters
José Proença, Andrei Paskevich
This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part…