Repository | Directory | Profile
Florent Franchette
in English
XOracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
in English
XOracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer