PT Unknown
AU Reiche, F
   Schiffl, J
   Weigl, A
   Heinrich, R
   Beckert, B
   Reussner, R
TI Model-driven Quantification of Correctness with Palladio and KeY
PY 2021
DI 10.5445/IR/1000128855
LA english
ER