Deismireacht APA

(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

Deismireacht MLA

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.