VM

Vajih Montaghami

Sort by
Sliced Alloy
Extending Alloy with Partial Instances.
Staged Evaluation of Partial-Instances in Alloy
Valgrind
How to use peripherals on MCB1700
Pattern-Based Debugging of Declarative Models