8494 articles  [english version]
.:. Consultation > Par auteur > 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]