Hacker News new | ask | show | jobs
Safety and Liveness Properties (hillelwayne.com)
2 points by eating555 1099 days ago