Dunkelau, J., Schmidt, J., & Leuschel, M. (2020). Analysing ProB’s Constraint Solving Backends: What Do They Know? Do They Know Things? Let’s Find Out! Rigorous State-Based Methods.
Citação norma ChicagoDunkelau, Jannik, Joshua Schmidt, and Michael Leuschel. "Analysing ProB’s Constraint Solving Backends: What Do They Know? Do They Know Things? Let’s Find Out!" Rigorous State-Based Methods 2020.
Citação norma MLADunkelau, Jannik, Joshua Schmidt, and Michael Leuschel. "Analysing ProB’s Constraint Solving Backends: What Do They Know? Do They Know Things? Let’s Find Out!" Rigorous State-Based Methods 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.