List of works - Amilcar Sernadas - Paulina

List of works by Amilcar Sernadas

Extending Classical Logic for Reasoning About Quantum Systems

scientific article published in 2009

Reasoning About Imperative Quantum Programs

scientific article published in May 2006

Towards Model-Checking Quantum Security Protocols

scientific article published in January 2007

Paulina is supported by:

About Paulina

Help