alt
Hacker News
touisteur
•
today at 6:43 AM
•
0 replies
•
view on HN
SPARK does static analysis (proof) of Absence of Runtime Errors (AoRTE).
alt Hacker News