Deena L. Postol
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Publications (10 Years): 3
Publications
- Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
- Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael HicksA Formal Model of Checked C. CoRR (2022)
- Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks