1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…