Using Coq to prove properties of the cache level of a functional video-on-demand server
- Jorge, J.S.
- Gulias, V.M.
- Castro, L.M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540851097
Año de publicación: 2008
Volumen: 5144 LNAI
Páginas: 296-299
Tipo: Aportación congreso