Florent Franchette
in English
XOracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer
in English
XOracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer