laarcnew | comments | discord | tags | ask | show | place | submitlogin
Automated, Modular, Refinement Reasoning for Concurrent Programs (microsoft.com)
5 points by nickpsecurity to programming math 502 days ago | discuss



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

RSS (stories) | RSS (comments)

Search: