Sixth Rust Verification Workshop (RW2026)

Event name
Sixth Rust Verification Workshop (RW2026)
 
Event type
Event for scientific audience
 
Start date
13-04-2026
End date
14-04-2026
 
Location
Turin
Country
Italy
 
Conference Track
Single Track
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sextl-2026-Brushing off the Rust Towards Compositional Memory Safety Veri...-vor.pdf.jpgSextl, Florian Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe RustPresentation Vortrag 13-Apr-2026