1. 2023. crates.io: Rust Package Registry. https://crates.io/ 2023. crates.io: Rust Package Registry. https://crates.io/
2. 2023. Explaining BSON With Examples. https://www.mongodb.com/basics/bson 2023. Explaining BSON With Examples. https://www.mongodb.com/basics/bson
3. 2023. Servo. https://servo.org/ 2023. Servo. https://servo.org/
4. Vytautas Astrauskas , Peter Müller , Federico Poli , and Alexander J. Summers . 2019. Leveraging rust types for modular specification and verification . Proceedings of the ACM on Programming Languages, 3, OOPSLA ( 2019 ), Oct., 147:1–147:30. https://doi.org/10.1145/3360573 10.1145/3360573 10.1145/3360573 Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers. 2019. Leveraging rust types for modular specification and verification. Proceedings of the ACM on Programming Languages, 3, OOPSLA (2019), Oct., 147:1–147:30. https://doi.org/10.1145/3360573 10.1145/3360573
5. Armin Biere . 2019 . CADICAL at the SAT Race 2019 . In Proceedings of SAT Race 2019 . B- 2019-1, 8–9. Armin Biere. 2019. CADICAL at the SAT Race 2019. In Proceedings of SAT Race 2019. B-2019-1, 8–9.