@dblp

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

, , and . SEW, page 94-103. IEEE Computer Society, (2009)

Links and resources

Tags