Hacker News new | ask | show | jobs
by sklogic 3679 days ago
There was also this project: https://www.usenix.org/conference/dsl-99/verischemelog-veril...