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