Login / Signup

A simple refinement-based method for constructing algorithms.

Dominique Méry
Published in: ACM SIGCSE Bull. (2009)
Keyphrases