المؤلفون: Blazy, Sandrine^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Beyer, Dirk, editor^Aff7, Cavalcanti, Ana, editor^Aff8

المصدر: Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings. 14573:1-21

المؤلفون: Barrière, Aurèle, Blazy, Sandrine, Pichardie, David

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2212.03129

المؤلفون: Barthe, Gilles, Blazy, Sandrine, Hutin, Remi, Pichardie, David

المصدر: 2021 IEEE 34th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2021 IEEE 34th. :1-12 Jun, 2021

Relation: 2021 IEEE 34th Computer Security Foundations Symposium (CSF)

المؤلفون: Barthe, Gilles, Blazy, Sandrine, Laporte, Vincent, Pichardie, David, Trieu, Alix

المصدر: 2017 IEEE 30th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2017 IEEE 30th. :405-419 Aug, 2017

Relation: 2017 IEEE 30th Computer Security Foundations Symposium (CSF)

المؤلفون: Blazy, Sandrine, Riaud, Stephanie, Sirvent, Thomas

المصدر: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM) Source Code Analysis and Manipulation (SCAM), 2015 IEEE 15th International Working Conference on. :111-120 Sep, 2015

Relation: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)

المؤلفون: Léchenet, Jean-Christophe^Aff10, Blazy, Sandrine^Aff10, Pichardie, David^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Peltier, Nicolas, editor^Aff8, Sofronie-Stokkermans, Viorica, editor^Aff9

المصدر: Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. 12167:324-340

المؤلفون: Blazy, Sandrine^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Dongol, Brijesh, editor^Aff8, Petre, Luigia, editor^Aff9, Smith, Graeme, editor^Aff10

المصدر: Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. 11758:52-66

المؤلفون: Besson, Frédéric^Aff15, Blazy, Sandrine^Aff15, Dang, Alexandre^Aff15, Jensen, Thomas^Aff15, Wilke, Pierre^Aff16

المساهمون: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^Aff9, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Caires, Luís, editor^Aff14

المصدر: Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11423:499-524

المؤلفون: Blazy, Sandrine, Laporte, Vincent, Maroneze, André, Pichardie, David

المصدر: SAS - 20th Static Analysis Symposium Lecture Notes in Computer Science (2013) 324-344

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1304.3596

المؤلفون: Blazy, Sandrine, Leroy, Xavier

المصدر: Journal of Automated Reasoning 43, 3 (2009) 263-288

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/0901.3619