Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking.

Jonas Klamroth, Max Scheerer, Oliver Denninger

Browse the full GI paper archive.