A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs. (2022)

First Author: Pontolillo, G.
Attributed to:  UKRI Trustworthy Autonomous Systems Node in Verifiability funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://nms.kcl.ac.uk/mohammad.mousavi/pub/mousavi-qse-2022.pdf

Type: Conference/Paper/Proceeding/Abstract