A formal framework for design and analysis of human-machine interaction.

Sbastien Combfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary

Browse the full SMC paper archive.