Anthony Bordg

1PUBLICATIONS
0CO-AUTHORS
Computational logic and formal languages
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Nov 01, 2021
Certified Quantum Computation in Isabelle/HOL.

Anthony Bordg, Hanna Lachnitt, Yijun He

Pageof 1

Frequent Collaborators