Julian Nagele

ORCID iD
https://orcid.org/0000-0002-4727-4637
  • Keywords
  • Show details Hide details
verification, theorem proving, rewriting, confluence, compiler optimizations

Sources:
Julian Nagele (2016-12-13)

  • Websites
  • Show details Hide details
Homepage

Sources:
Julian Nagele (2016-12-13)

Record last modified {{lastModifiedDate}}