@mastersThesis{MustafaKhalil_12_2021, author = "Mustafa Khalil", title = "Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables", school = "Instituto Superior T{\'e}cnico, University of Lisbon", year = 2021, month = dec, type = "Master's Thesis", BibTexOrigem = "16911 www.Inesc-ID.pt 2022-06-29" }