News for hackers. Stuff that matters.

A comment on Rust testing or verifying: Why not both?. Parent comment

Re:Rust testing or verifying: Why not both? by pjmlp on Friday September 04, 2020 @08:32AM (#24374341)
On the other hand I guess those are nice opportunities for new papers on the domain. :)

Very interesting research area.

[ Parent | on HN ]

There are no comments on this comment yet.