Felix Chang software

Alloy Analyzer 4.2

A structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour
Price: $0, Rating: 5, Downloads: 1 Download