1968
Axiomatics of simple assignment statements
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Rekenafdeling | |
de Bakker, J. (1968). Axiomatics of simple assignment statements. Stichting Mathematisch Centrum. Rekenafdeling. Stichting Mathematisch Centrum. |