Publications de
Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché
Sémantique des modèles de consistance mémoire
Dans : Journée du pôle preuves et spécifications algébriques du GDR programmation, –, .
Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché
Towards a HOL theory of memory
Dans : Higher Order Logic Theorem Proving and its Applications, –, Springer-Verlag, LNCS 859, p. 49-64, septembre 1994.