Luc Maranget 1AuthorPersonId : 944 IdHAL : luc-marangetIdRef : 083459456
Jade Alglave 2Author
Computer Science [cs] / Programming Languages [cs.PL] Computer Science [cs] / Hardware Architecture [cs.AR]
INRIA | INRIA2