Citáce podľa APA (7th ed.)

Tavante, H. C. A. (2023). A Type-Safe Hdl Verified in Coq. ProQuest Dissertations & Theses.

Citácia podle Chicago (17th ed.)

Tavante, Hanneli Carolina Andreazzi. A Type-Safe Hdl Verified in Coq. ProQuest Dissertations & Theses, 2023.

Citácia podľa MLA (8th ed.)

Tavante, Hanneli Carolina Andreazzi. A Type-Safe Hdl Verified in Coq. ProQuest Dissertations & Theses, 2023.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..