Formal verification of legacy code after 10 years of production use (blog.adacore.com) 2 points by alexamici 10y ago ↗ HN
0 comments
[ 3.3 ms ] story [ 7.6 ms ] threadNo comments yet.