Semi-Persistent Data Structures (2007)

by Sylvain Conchon , Jean-christophe Filliâtre
Citations:4 - 1 self