Reasoning About Quantum Systems.

Paulo Mateus, Amlcar Sernadas

Browse the full JELIA paper archive.