Tuesday, May 26, 2020

Seven Myths of Formal Methods (1990) [pdf]

Article URL: https://www.seas.upenn.edu/~lee/09cis480/papers/7myths1990.pdf

Comments URL: https://news.ycombinator.com/item?id=23318085

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3grgxcM
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: Plansera AI, E-2 visa business plans, drafted by an AI

Article URL: https://plansera.ai/ Comments URL: https://news.ycombinator.com/item?id=48678128 Points: 2 # Comments: 0 from Hacker New...