Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.

Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai

Browse the full SERA paper archive.