Jingyi Mei PhD candidate Name J. Mei MSc Telephone +31 71 527 2727 E-mail j.mei@liacs.leidenuniv.nl ORCID iD null PhD candidate Faculty of Science Leiden Inst of Advanced Computer Science Work address Gorlaeus Building Einsteinweg 55 2333 CC Leiden Contact +31 71 527 2727 j.mei@liacs.leidenuniv.nl JavaScript is required to view this content. Quist A., Mei J., Coopmans T.J. & Laarman A.W. (2025), Advancing Quantum Computing with Formal Methods. Platzer A., Rozier K.Y., Pradella M. & Rossi M. (Eds.), Formal Methods: 26th International Symposium, FM 2024. 26th International Symposium, FM 2024 9 September 2024 - 13 September 2024. Lecture Notes in Computer Science no. 14934. Cham: Springer. 420-446. 'Refereed' congrespublicatie No relevant ancillary activities Share on Facebook Share by Bluesky Share on LinkedIn Share by WhatsApp Share by Mastodon