Michael Norrish

Principal Researcher@CSIRO·OpenReview

研究方向

Formal methods · Programming Language Semantics · Interactive theorem-proving

发表论文（2 篇）

合作者 (4)