作 者:Gilles Barthe ;Gustavo Betarte ;Juan Diego Campo 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:45-63.doi:10.4230/LIPIcs.TYPES.2013.45
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846497
作 者:Gustavo Betarte ;Juan Diego Campo ;Andrea Delgado 等
出 处:CLEI Electronic Journal. 2022 ;25(2).doi:10.19153/cleiej.25.2.4
出 版 社:Centro Latinoamericano de Estudios en Informática
文 章 ID:1037837614