Concrete Semantics - discu.eu

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

Related searches:

Search whole site: site:concrete-semantics.org

Search title: Concrete Semantics

See how to search.

Submit link to: