Quick Upload
Explore
Features
Support
Contact Us
FAQ
Help Document
Pricing
Sign In
Sign Up
Quick Upload
Explore
Features
Support
Contact Us
FAQ
Help Document
Pricing
Sign In
Sign Up
Guset User
Download PDF
Publications :
85
Followers :
0
Alloy*: A General-Purpose Higher-Order Relational ...
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang and Daniel Jackson Massachusetts Institute of ...
View Text Version
Category :
0
0
Embed
Share
Upload
Related publications
