Jean Goubault Larrecq
AuthID: R-00J-E4S
1
TITLE: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)
AUTHORS: Christel Baier; Jean Goubault Larrecq;
PUBLISHED: 2021, SOURCE: CSL, VOLUME: 183
AUTHORS: Christel Baier; Jean Goubault Larrecq;
PUBLISHED: 2021, SOURCE: CSL, VOLUME: 183
INDEXED IN: 
DBLP
DBLP2
TITLE: 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
AUTHORS: Jean Goubault Larrecq; Barbara König;
PUBLISHED: 2020, SOURCE: FoSSaCS, VOLUME: 12077
AUTHORS: Jean Goubault Larrecq; Barbara König;
PUBLISHED: 2020, SOURCE: FoSSaCS, VOLUME: 12077
INDEXED IN: DBLP
DBLP