#alloy

Everything tagged alloy.

Writing

  1. Towards Abstraction for DynAlloy Specifications

    Submitted publication to ICFEM 2008