442 citations · 446 across the 7 of their papers we have counts for
1 paper · 1 filter
Matthias Weiß, Philipp Marks, Benjamin Maschler +3
Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce co…