Avatar
Hacker News Frontpage 2y ago

BP: Formal Proofs, the Fine Print and Side Effects [pdf]

L: https://people.scs.carleton.ca/~paulv/papers/secdev2018.pdf

C: https://news.ycombinator.com/item?id=36818602

Reply to this note

Please Login to reply.

Discussion

No replies yet.