1972
Simple recursive program schemes and inductive assertions
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Rekenafdeling | |
de Bakker, J., & Meertens, L. (1972). Simple recursive program schemes and inductive assertions. Stichting Mathematisch Centrum. Rekenafdeling. Stichting Mathematisch Centrum. |