Jan Schär

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Refinement Process

Top Venues

Publications

Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller
Refinement Proofs in Rust Using Ghost Locks. CoRR (2023)