Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Manuel Eberl
University of Innsbruck
Verified email at uibk.ac.at
Cited by 351
decision procedures
interactive theorem proving
formalised mathematics
verification
Isabelle
Mitchell A Buckley
CSIRO
Verified email at data61.csiro.au
Cited by 223
Category Theory
Hopf algebra
formalised mathematics
software verification
Chelsea Edmonds
Research Associate, University of Sheffield
Verified email at sheffield.ac.uk
Cited by 49
formal verification
formalised mathematics
proof assistants
security
Privacy
Terms
Help
About Scholar
Search help