Export
APA
Daniel Fortunato, Luis Jiménez-Navajas, José Campos, Rui Abreu, (2024). Verification and Validation of Quantum Software. Quantum Software: Aspects of Theory and System Design, 93-123
IEEE
Daniel Fortunato, Luis Jiménez-Navajas, José Campos, Rui Abreu, "Verification and Validation of Quantum Software" in Quantum Software: Aspects of Theory and System Design, 2024, pp. 93-123
BIBTEX
@incollection{63141,
author = {Daniel Fortunato and Luis Jiménez-Navajas and José Campos and Rui Abreu},
title = {Verification and Validation of Quantum Software},
booktitle = {Quantum Software: Aspects of Theory and System Design},
year = 2024,
pages = {93-123},
address = {},
publisher = {Springer Nature Switzerland}
}