Formal Methods of Software Design: an online course by Eric Hehner at September 29, 2013 18:05 | from Hacker News | by Web Design News More news from "Hacker News" < 前の記事次の記事 > < 前の記事次の記事 >