Practical Alloy - a guide to formal software design

theoretical-computer-science, formal-verification

affine February 20, 2025, 2:13pm 1

https://practicalalloy.github.io/

Home
Categories
Guidelines

Powered by Discourse, best viewed with JavaScript enabled