BibTeX record conf/category/OrejasSC88

• > Home > conf/category/OrejasSC88

@inproceedings{DBLP:conf/category/OrejasSC88,
  author       = {Fernando Orejas and
                  Vera Sacrist{\'{a}}n and
                  Silvia Clerici},
  editor       = {Hartmut Ehrig and
                  Horst Herrlich and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Gerhard Preu{\ss}},
  title        = {Development of Algebraic Specifications with Constraints},
  booktitle    = {Categorial Methods in Computer Science: With Aspects from Topology
                  [Workshop, September 1988, Berlin, Germany]},
  series       = {Lecture Notes in Computer Science},
  volume       = {393},
  pages        = {102--123},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-51722-7\_7},
  doi          = {10.1007/3-540-51722-7\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/category/OrejasSC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}