作　　者：Sebastian Burckhardt ;Jonathan Protzenko

出　　处：Bulletin of the Technical Committee on Data Engineering. 2016 ;39(1):45.

出 版 社：IEEE Computer Society

文 章 ID：213498558

作　　者：Francois Pottier ;Jonathan Protzenko

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:221-237.doi:10.4230/LIPIcs.SNAPL.2015.221

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846747

作　　者：Sebastian Burckhardt ;Daan Leijen ;Jonathan Protzenko 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:568-590.doi:10.4230/LIPIcs.ECOOP.2015.568

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846928

作　　者：Karthikeyan Bhargavan ;Barry Bond ;Antoine Delignat-Lavaud 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:1:1-1:12.doi:10.4230/LIPIcs.SNAPL.2017.1

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：193875246

作　　者：Jonathan Protzenko

出　　处：OASIcs : OpenAccess Series in Informatics. 2013 ;31:68-73.doi:10.4230/OASIcs.FSFMA.2013.68

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848614