Using Emil Post's machine for an introduction to formal programming (poster).

Vassilios Dagdilelis, Maria Satratzemi

Browse the full ITiCSE paper archive.