RaysideMYDJ09'

BibTeX

@inproceedings{DBLP:conf/oopsla/RaysideMYDJ09,
  author    = {Derek Rayside and
               Aleksandar Milicevic and
               Kuat Yessenov and
               Greg Dennis and
               Daniel Jackson},
  title     = {Agile specifications},
  booktitle = {OOPSLA Companion},
  year      = {2009},
  pages     = {999-1006},
  ee        = {http://doi.acm.org/10.1145/1639950.1640070},
  crossref  = {DBLP:conf/oopsla/2009c},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/oopsla/2009c,
  editor    = {Shail Arora and
               Gary T. Leavens},
  title     = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, OOPSLA
               2009, October 25-29, 2009, Orlando, Florida, USA},
  booktitle = {OOPSLA Companion},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-768-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}