Formally Specifying UIs (2018)

307 points by meistro

Read the article

Discussion on Hacker News