News for hackers. Stuff that matters.

A comment on The Hitchhiker's Guide to Logical Verification [pdf]. Parent comment

Re:The Hitchhiker's Guide to Logical Verification [pdf] by LiamPowell on Wednesday July 31, 2024 @01:09AM (#41116538)
Also: https://www.adacore.com/books/implementation-guidance-spark
[ Parent | on HN ]

There are no comments on this comment yet.