Hacker News new | ask | show | jobs
by johnisgood 2469 days ago
More information about Get_Line: https://blog.adacore.com/formal-verification-of-legacy-code