Formally Specifying UIs • Hillel Wayne - discu.eu

Hacker News

Formally Specifying UIs (2018) https://www.hillelwayne.com/post/formally-specifying-uis/ 45 comments 28/2/2019

Lobsters

Formally Specifying UIs https://www.hillelwayne.com/post/formally-specifying-uis/ 13 comments 11/6/2018 design , formalmethods

Linking pages

Introducing Verified React. Automated reasoning for ReasonReact | by Dave Aitken | Imandra | Medium https://medium.com/imandra/introducing-verified-react-9c2ef03f821b 11 comments

Linked pages

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:www.hillelwayne.com

Search title: Formally Specifying UIs • Hillel Wayne

See how to search.

Submit link to: