Not finding it? Sign in to also search OpenAlex live.
-
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness2025 Software & Systems Modeling erratum Computer Science Formal Methods in Verification Open access
Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab
0citations
1 result