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

No comments:

Post a Comment

Show HN: rtrvr.ai – AI Web Agent for Automating Workflows and Data Extraction

Hey HN, I'm excited to share rtrvr.ai, a Chrome extension that brings the power of AI agents to your everyday web browsing. It's de...