Login / Signup

From distributed algorithms to OCCAM programs by successive refinements.

Valmir Carneiro BarbosaLúcia Maria de A. DrummondAstrid Luise H. Hellmuth
Published in: J. Syst. Softw. (1994)
Keyphrases