A Refinement of the µ-measure for Stack Programs.

Emanuele CovinoGiovanni Pani
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases