作 者:Gilles Barthe ;Thomas Espitau ;Justin Hsu 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:102:1-102:12.doi:10.4230/LIPIcs.ICALP.2017.102
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372056
作 者:Alejandro Aguirre ;Gilles Barthe ;Justin Hsu 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:113:1-113:15.doi:10.4230/LIPIcs.ICALP.2018.113
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220014904
作 者:Abhimanyu Sud ;Kathleen Doukas ;Katherine Hodgson 等
出 处:BMC Medical Education. 2021 ;21(1):1-12.doi:10.1186/s12909-021-02529-7
出 版 社:BioMed Central
文 章 ID:259153349
作 者:Marco Gaboardi ;Justin Hsu
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:129-139.doi:10.4230/LIPIcs.SNAPL.2015.129
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846741
作 者:Gilles Barthe ;Marco Gaboardi ;Benjamin Gr{\'e}goire 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:107:1-107:15.doi:10.4230/LIPIcs.ICALP.2016.107
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847704