This release (v1 b2.3.5) is for the paper
"QCafe: An Algebraic Specification of Quantum Computation and Its Application" (To Appear)
Authors: Vuong Quoc Pham, Canh Minh Do, and Kazuhiro Ogata
In The 38th International Conference on Software Engineering and Knowledge Engineering, 2026
BIB:
@inproceedings{VuongSEKE26,
abbr = {SEKE},
author = {Quoc Pham, Vuong and Minh Do, Canh and Kazuhiro Ogata},
title = {QCafe: An Algebraic Specification of Quantum Computation and Its Application (To Appear)},
booktitle = {The 38th International Conference on Software Engineering and Knowledge Engineering},
doi = {10.18293/SEKE2026-023},
year = {2026}
}
DOI: https://doi.org/10.18293/SEKE2026-023 (To Appear)