Big Specification: Specification, Proof, and Testing at Scale 2024
1 points by matt_d 3 hours ago | 0 comments