Alex Le Blanc
Publications

Alex Le Blanc

Alex Le Blanc

ECE PhD student

Waterloo, ON, Canada
University of Waterloo
Email
Github

Surveying the Rust Verification Landscape

Published in HATRA 2024, 2024

Categories: workshops

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Alex Le Blanc, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2025-10-02