Formal Methods in Human-Computer Interaction | lit.salon