Login / Signup

Refinement verification of the lazy caching algorithm.

Wim H. Hesselink
Published in: Acta Informatica (2006)
Keyphrases