Citazione Stile APA (7a Edizione)
André, É., & Sun, J. (2023). Automated Technology for Verification and Analysis. Springer Nature.
Citazione stile Chigago Style (17a edizione)
André, Étienne, e Jun Sun. Automated Technology for Verification and Analysis. Springer Nature, 2023.
Citatione MLA (9a ed.)
André, Étienne, e Jun Sun. Automated Technology for Verification and Analysis. Springer Nature, 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.