# Reference

0. []()
0. [High Assurance Rust: Developing Secure and Robust Software](https://highassurance.rs/landing.html)