
Florent Franchette
(2010-2019)
XOracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer

(2010-2019)
XOracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer