Flexible Aspect-Oriented Design Model Checking.

Wuwei Shen, W. Eric Wong

Browse the full APSEC paper archive.