Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.

J. Santiago Jorge, Vctor M. Gulas, Laura M. Castro

Browse the full AISC paper archive.