path: root/documentation/bookmark/assurance.md

# Reference

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