discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Concrete Semantics with Isabelle/HOL
http://concrete-semantics.org/
6 comments
28/2/2021
Concrete Semantics
http://www.concrete-semantics.org/
17 comments
17/1/2020
Linking pages
The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality
https://concerningquality.com/verification-gap/
17 comments