ChampeauxACDLLH91'

BibTeX

@inproceedings{DBLP:conf/oopsla/ChampeauxACDLLH91,
  author    = {Dennis de Champeaux and
               Pierre America and
               Derek Coleman and
               Roger Duke and
               Doug Lea and
               Gary T. Leavens and
               Fiona Hayes},
  title     = {Formal Techniques for OO Software Development (Panel)},
  booktitle = {OOPSLA},
  year      = {1991},
  pages     = {166-170},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}