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
Year of publication: 2008
Volume: 5144 LNAI
Pages: 296-299
Type: Conference paper