+ All Categories

The top documents of vajih-montaghami

Pattern-Based Debugging of Declarative Models
Pattern-Based Debugging of Declarative Models
23 views
Extending Alloy with Partial Instances.
Extending Alloy with Partial Instances.
23 views
How to use peripherals on MCB1700
How to use peripherals on MCB1700
27 views
Sliced Alloy
Sliced Alloy
18 views