User Queries for Specification Refinement Treating Shared Aspect Join Points.

Emilia Katz, Shmuel Katz

Browse the full SEFM paper archive.