Browsing by Author Mansky, William
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Connecting Higher-Order Separation Logic to a First-Order Outside World | Mansky, William; Honoré, Wolf; Appel, Andrew W |
| Oct-2017 | A verified messaging system | Mansky, William; Appel, Andrew W; Nogin, Aleksey |