1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Bara Buhnova, Lucia Happe, Jan Kofroň
The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of forma…