Checking Interface Interaction Protocols Using Aspect-Oriented Programming.

Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung

Browse the full SEFM paper archive.