Simon Cruanes
发表
Simon Cruanes,
Simon Cruanes,
2014,
PAAR@IJCAR.
Simon Cruanes,
2017,
CADE.
Simon Cruanes,
2017,
ARCADE@CADE.
Natarajan Shankar,
Simon Cruanes,
Sam Owre,
2013,
VMCAI.
Cesare Tinelli,
Simon Cruanes,
Jasmin Christian Blanchette,
2016,
IJCAR.
Simon Cruanes,
Simon Cruanes,
2015
.
David Delahaye,
Simon Cruanes,
Guillaume Bury,
2018,
ABZ.
Simon Cruanes,
Vincent Barrielle,
Loïc Frund,
2011
.
David Delahaye,
Simon Cruanes,
Guillaume Bury,
2018
.
Simon Cruanes,
Grant Olney Passmore,
Denis Ignatovich,
2020,
IJCAR.
Simon Cruanes,
Jasmin Christian Blanchette,
2016,
HaTT@IJCAR.
Simon Cruanes,
Simon Cruanes,
2017,
FroCoS.
Simon Cruanes,
Clément Lambrinos,
Yousra Chebbi,
2011
.
Simon Cruanes,
Petar Vukmirovic,
Stephan Schulz,
2019,
CADE.
Pascal Fontaine,
Simon Cruanes,
Jasmin Christian Blanchette,
2017,
PxTP.
Simon Cruanes,
Stephan Schulz,
Jasmin Christian Blanchette,
2019,
International Journal on Software Tools for Technology Transfer.
Simon Cruanes,
Uwe Waldmann,
Jasmin Christian Blanchette,
2018,
IJCAR.
Stijn Heymans,
Natarajan Shankar,
Ian A. Mason,
2014,
Specification, Algebra, and Software.
Guillaume Burel,
Simon Cruanes,
Simon Cruanes,
2013,
FroCos.
Simon Cruanes,
Stephan Schulz,
Jasmin Blanchette,
2021,
International Journal on Software Tools for Technology Transfer.
Simon Cruanes,
Jasmin Blanchette,
Sophie Tourret,
2021,
CADE.
Simon Cruanes,
Uwe Waldmann,
Jasmin Christian Blanchette,
2018
.