Bits & Bytes: Dyer's research to streamline software verification practices for researchers

Archived Newsletter: This newsletter is part of our newsletter archives. It has been preserved for reference, but the information may no longer be current.
Originally published August 21, 2024 - Submit an Item