Léon Gondelman
发表
Andrei Paskevich,
Jean-Christophe Filliâtre,
Cláudio Belo Lourenço,
2020
.
Andrei Paskevich,
Jean-Christophe Filliâtre,
Léon Gondelman,
2018
.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Léon Gondelman,
2014,
Formal Methods Syst. Des..
Léon Gondelman,
2016
.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Léon Gondelman,
2016
.
Herman Geuvers,
Léon Gondelman,
Niels van der Weide,
2018,
CPP.
Léon Gondelman,
2016
.
Léon Gondelman,
Martin Clochard,
Mário Pereira,
2016,
VSTTE.
Léon Gondelman,
Martin Clochard,
Mário Pereira,
2017,
Journal of Automated Reasoning.
Robbert Krebbers,
Léon Gondelman,
Dan Frumin,
2019,
ESOP.
Marko C. J. D. van Eekelen,
Herman Geuvers,
Robbert Krebbers,
2019,
ArXiv.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Léon Gondelman,
2016,
Formal Methods Syst. Des..