LudewigGHMMS85'

BibTeX

@inproceedings{DBLP:conf/icse/LudewigGHMMS85,
  author    = {Jochen Ludewig and
               Martin Glinz and
               Hansj{\"o}rg Huser and
               G. Matheis and
               Hans Matheis and
               M. F. Schmidt},
  title     = {SPADES - A Specification and Design System and Its Graphical
               Interface},
  booktitle = {ICSE},
  year      = {1985},
  pages     = {83-91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}