[学位论文]
  • Abrahamsson, Oskar.
  • Chalmers Tekniska Hogskola (Sweden).
ISBN 9798678197573
作者 Abrahamsson, Oskar.   授予学位单位 Chalmers Tekniska Hogskola (Sweden).  
学位 Licentiate
学科 Computer science.   国籍 SE
页码/总页数 74 p. / 74 出版年 2020
中图分类号 TP
关键词 Verified proof checking   Higher-order logic