BibTeX record conf/adt/BidoitCV84

• > Home > conf/adt/BidoitCV84

@inproceedings{DBLP:conf/adt/BidoitCV84,
  author       = {Michel Bidoit and
                  Christine Choppy and
                  Fr{\'{e}}d{\'{e}}ric Voisin},
  editor       = {Hans{-}J{\"{o}}rg Kreowski},
  title        = {The {ASSPEGIQUE} Specification Environment - Motivations and Design},
  booktitle    = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
                  Applications of Abstract Data Types, Bremen, Germany, November 13-16,
                  1984, Selected Papers},
  series       = {Informatik-Fachberichte},
  volume       = {116},
  pages        = {54--72},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-662-09691-8\_6},
  doi          = {10.1007/978-3-662-09691-8\_6},
  timestamp    = {Mon, 18 Jun 2018 21:21:13 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/BidoitCV84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}