Putting the Rust in Trusthttps://robigalia.org/blog/2016/11/15/verfication.html by vivagn • 10 years ago 2 0 10 years agoROrobigalia.org