Daniel Matichuk

Automation for Proof Engineering: Machine-Checked Proofs At Scale.
. University of New South Wales, Sydney, Australia, (2018)base-search.net (ftunswworks:oai:unsworks.library.unsw.edu.au:1959.4/60290).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Daniel Matichuk
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden