Jonas Klamroth, Max Scheerer, Oliver Denninger. Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. In Gesellschaft für Informatik, editor, 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September - 1. Oktober, 2021. Volume P-314 of LNI, pages 1825-1830, Gesellschaft für Informatik, Bonn, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.