Jean Goubault Larrecq
AuthID: R-00J-E4S
1
TÃTULO: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)
AUTORES: Christel Baier; Jean Goubault Larrecq;
PUBLICAÇÃO: 2021, FONTE: CSL, VOLUME: 183
AUTORES: Christel Baier; Jean Goubault Larrecq;
PUBLICAÇÃO: 2021, FONTE: CSL, VOLUME: 183
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
AUTORES: Jean Goubault Larrecq; Barbara König;
PUBLICAÇÃO: 2020, FONTE: FoSSaCS, VOLUME: 12077
AUTORES: Jean Goubault Larrecq; Barbara König;
PUBLICAÇÃO: 2020, FONTE: FoSSaCS, VOLUME: 12077
INDEXADO EM: DBLP
DBLP