laarcnew | comments | discord | tags | ask | show | place | submit | /l/formal.verificationlogin
1.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 124 days ago | discuss

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: