作 者:William Kuszmaul ;Alek Westover
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;185:16:1-16:20.doi:10.4230/LIPIcs.ITCS.2021.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:259385486