Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.

Barbara Gallina, Nicolas Guelfi, Pierre Kelsen

Browse the full SEW paper archive.