@unpublished{hawblitzel2024verus,
author = {Hawblitzel, Chris and Lorch, Jay},
title = {Verus: A Practical Foundation for Systems Verification},
year = {2024},
month = {September},
abstract = {Abstract to come...},
url = {http://approjects.co.za/?big=en-us/research/publication/verus-a-practical-foundation-for-systems-verification/},
}