DOI,IST REx ID,Title of publication
10.1145/3656422,17495,RefinedRust: A type system for high-assurance verification of rust programs