Work

A Declarative Model Assembly Infrastructure for Verification and Validation