laarcnew | comments | discord | tags | ask | show | place | submitlogin
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: