Towards Classical Software Verification using Quantum Computers

Guardado en:
Bibliografiske detaljer
Udgivet i:arXiv.org (Apr 29, 2024), p. n/a
Hovedforfatter: Issel, Sebastian
Andre forfattere: Kilian Tscharke, Debus, Pascal
Udgivet:
Cornell University Library, arXiv.org
Fag:
Online adgang:Citation/Abstract
Full text outside of ProQuest
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!