Verifying the Steane code with Quantomatic.

Ross Duncan Maxime Lucas

Published in: QPL (2013)

Keyphrases

objective function
data mining
information systems
image processing
data structure
source code
data sets
artificial intelligence
model checking
code snippets