Topic
#Books
1 article on Books — news, releases, guides and analysis from the SourceFeed engine.
Article
Logic for Programmers Fixes Formal Methods' Worst Problem
Hillel Wayne's five-year book project swaps the all-or-nothing verification pitch for logic you can use this week.
Mariana Souza