8723 articles  [version française]
.:. Browse > By authors > Appel .:.
1 document

fulltext access The CompCert Memory Model, Version 2
Leroy X., Appel A. W., Blazy S., Stewart G.
N° RR-7987 (2012) [hal-00703441 - version 1]