Login / Signup
Carmelo R. Cartiere
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Software Engineering
Formal Methods
Quantum Computing
Safety Critical
Top Venues
CoRR
Q-SET@QCE
</>
Publications
</>
Carmelo R. Cartiere
Formal Quantum Software Engineering. Introducing the Formal Methods of Software Engineering to Quantum Computing.
Q-SET@QCE
(2021)
Carmelo R. Cartiere
Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing.
CoRR
(2021)