by Burel, Guillaume, Bury, Guillaume, Cauderlier, Raphaël, Delahaye, David, Halmagrand, Pierre, Hermant, Olivier
Published in Journal of automated reasoning (01.08.2020)

by Bury, Guillaume, Delahaye, David
Published in Automated Reasoning with Analytic Tableaux and Related Methods (2015)

by Hichem Rami Ait El Hara, Bobot, François, Bury, Guillaume
Published in arXiv.org (04.11.2024)

by Bury, Guillaume, Cruanes, Simon, Delahaye, David, Euvrard, Pierre-Louis
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z (2018)