Pearce, O., Lange, J., & O'Keeffe, D. (2025). RustMC: Extending the GenMC stateless model checker to Rust.
Chicago-Zitierstil (17. Ausg.)Pearce, Oliver, Julien Lange, und Dan O'Keeffe. RustMC: Extending the GenMC Stateless Model Checker to Rust. 2025.
MLA-Zitierstil (9. Ausg.)Pearce, Oliver, et al. RustMC: Extending the GenMC Stateless Model Checker to Rust. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.