Login / Signup

Deductive Program Development: Evaluation in Reverse Polish Notation as an Example.

Manfred Broy
Published in: Methods of Programming (1991)
Keyphrases