%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/

@inproceedings{khatchadourian-foal08,
	Address = {New York, NY, USA},
	Author = {Raffi Khatchadourian and Johan Dovland and Neelam Soundarajan},
	Booktitle = {Foundations of Aspect-Oriented Languages},
	Isbn = {978-1-60558-110-1},
	Keywords = {reasoning, aspect-oriented programming, verification, software evolution},
	Location = {Brussels, Belgium},
	Month = apr,
	Pages = {19--28},
	Publisher = {ACM},
	Title = {Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs},
	Year = {2008}}