Beutner, R. (2024). Automated Software Verification of Hyperliveness.
Citazione stile Chigago Style (17a edizione)Beutner, Raven. Automated Software Verification of Hyperliveness. 2024.
Citatione MLA (9a ed.)Beutner, Raven. Automated Software Verification of Hyperliveness. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.