Categories
Felix Chang details
You con contact publisher Felix Chang usig these details:
WWW: http://alloy.mit.edu/alloy4/
Felix Chang software
Display results: 1 - 1 from 1
Alloy Analyzer 4.2
A structural modelling language based on first-order logic, for expressing complex structu
A structural modelling language based on first-order logic, for expressing complex structu
Size: 4.23 MB
Popular tags
Encrypt Hide Delete Secure Encryption Hiding Deletion Security Maxcrypt Maxconceal