Showing posts with label Formal Specification. Show all posts
Showing posts with label Formal Specification. Show all posts
Saturday, December 12, 2015
Interesting Talk: "A Deep Specification for Dropbox"
I've recently watched this great talk by Benjamin Pierce:
Subscribe to:
Posts (Atom)