This release (v2 b1.8.6) is for the master's thesis at JAIST
"Formal Specification and Verification of Quantum Circuits/Protocols in CafeOBJ"
Author: PHAM Quoc Vuong
Main Supervisor: Senior Lecturer Canh Minh Do
Second Supervisor: Professor Kazuhiro Ogata
BIB:
@mastersthesis{VuongThesis26,
author = {Quoc Vuong, PHAM and Minh Do, Canh and Kazuhiro Ogata},
title = {Formal Specification and Verification of Quantum Circuits/Protocols in {CafeOBJ}},
school = {Japan Advanced Institute of Science and Technology (JAIST)},
year = {2026},
type = {Master's Thesis}
}