LamKR05'

BibTeX

@inproceedings{DBLP:conf/aosd/LamKR05,
  author    = {Patrick Lam and
               Viktor Kuncak and
               Martin C. Rinard},
  title     = {Crosscutting techniques in program specification and analysis},
  booktitle = {AOSD},
  year      = {2005},
  pages     = {169-180},
  ee        = {http://doi.acm.org/10.1145/1052898.1052913},
  crossref  = {DBLP:conf/aosd/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aosd/2005,
  editor    = {Mira Mezini and
               Peri L. Tarr},
  title     = {Proceedings of the 4th International Conference on Aspect-Oriented
               Software Development, AOSD 2005, Chicago, Illinois, USA,
               March 14-18, 2005},
  booktitle = {AOSD},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-59593-042-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}