Advancing quantum computing with formal methods

Author(s):: Quist, A. (0000-0002-6501-2112); Mei, J.; Coopmans, T.J. (0000-0002-9780-0949); Laarman, A.W. (0000-0002-2433-4174)

Editor(s):: Platzer, A.; Rozier, K.Y.; Pradella, M.; Rossi, M.

Published: 2024
Publication type: Article in monograph or in proceedings

Date issued: 2024-09-13
Language: English
Publisher: Cham: Springer
Is part of: Lecture Notes in Computer Science (2024), Pt. 14934, p. 420-446
ISBN source: 9783031711763
hdl: 1887/4294462
doi: 10.1007/978-3-031-71177-0_25
URL: https://link.springer.com/chapter/10.1007/978-3-031-71177-0_25

Conference

Meeting name: 26th International Symposium, FM 2024
Meeting location: Milan, Italy
Meeting date: 2024-09-09 - 2024-09-13