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


%% Created for Raffi Khatchadourian at 2007-11-21 13:14:33 -0500 


%% Saved with string encoding Western (ASCII) 



@inproceedings{soundarajan-sea07,
	Author = {Neelam Soundarajan and Raffi Khatchadourian and Johan Dovland},
	Booktitle = {IASTED International Conference on Software Engineering and Applications},
	Date-Modified = {2007-11-21 13:14:33 -0500},
	Keywords = {Aspect-oriented programs, Behavioral reasoning},
	Month = nov,
	Number = {591-099},
	Pages = {198--202},
	Title = {Reasoning about the Behavior of Aspect-Oriented Programs},
	Url = {http://www.cse.ohio-state.edu/~khatchad/papers/sea07.pdf},
	Year = 2007}