2007

Conférence Internationale avec comité de lecture

• [WB07] A. W. Appel, S. Blazy. "Separation Logic for Small-step Cminor", TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), January 2007, pp.5-21, Series LNCS 4732,