Loic Peyrot
AuthID: R-00K-6WN
1
TITLE: A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
AUTHORS: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: 
Scopus 
WOS
Scopus WOS