Scribbling Interactions with a Formal Foundation.

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida

Browse the full ICDCIT paper archive.