Exploring paraconsistent logics for quantum programs - Cruz, Ana Luzia (2021)
Dissertação de mestrado integrado em Engenharia Física