Battle, N., & Ellyton, M. S. (2024). QuickCheck for VDM.
Citazione stile Chigago Style (17a edizione)Battle, Nick, e Markus Solecki Ellyton. QuickCheck for VDM. 2024.
Citatione MLA (9a ed.)Battle, Nick, e Markus Solecki Ellyton. QuickCheck for VDM. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.