Anthony Bordg

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Molecular Dynamics

Top Venues

Journal of automated reasoning

This page only lists publications with an associated author ORCID identifier.

Publications

Anthony Bordg, Hanna Lachnitt, Yijun He
Certified Quantum Computation in Isabelle/HOL. Journal of automated reasoning 65 (5) (2020)