Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
akkad33 | Dark Hacker News
user:
akkad33
created:
September 26, 2022
karma:
691
submissions
comments
1.
Ask HN: Is formal verification of practical use in real world projects?
5 points
by
akkad33
144 days ago
|
4 comments