BibTeX records: Søren Prehn

• > Home > Persons > Søren Prehn

@inproceedings{DBLP:conf/sde/BjornerP91,
  author       = {Dines Bj{\o}rner and
                  S{\o}ren Prehn},
  editor       = {Albert Endres and
                  Herbert Weber},
  title        = {Formal Methods in Software Development: Requirements for a {CASE}},
  booktitle    = {Software Development Environments and {CASE} Technology, European
                  Symposium, K{\"{o}}nigswinter, Germany, June 17-19, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {509},
  pages        = {178--210},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54194-2\_36},
  doi          = {10.1007/3-540-54194-2\_36},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sde/BjornerP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fm/1991-1,
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {{VDM} '91 - Formal Software Development, 4th International Symposium
                  of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
                  1991, Proceedings, Volume 1: Conference Contributions},
  series       = {Lecture Notes in Computer Science},
  volume       = {551},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54834-3},
  doi          = {10.1007/3-540-54834-3},
  isbn         = {3-540-54834-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/1991-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fm/1991-2,
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {{VDM} '91 - Formal Software Development, 4th International Symposium
                  of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
                  1991, Proceedings, Volume 2: Tutorials},
  series       = {Lecture Notes in Computer Science},
  volume       = {552},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019994},
  doi          = {10.1007/BFB0019994},
  isbn         = {3-540-54868-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/1991-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Prehn87,
  author       = {S{\o}ren Prehn},
  editor       = {Dines Bj{\o}rner and
                  Cliff B. Jones and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Erich J. Neuhold},
  title        = {From {VDM} to {RAISE}},
  booktitle    = {{VDM} '87, {VDM} - {A} Formal Method at Work, VDM-Europe Symposium,
                  Brussels, Belgium, March 23-26, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {252},
  pages        = {141--150},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-17654-3\_11},
  doi          = {10.1007/3-540-17654-3\_11},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Prehn87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}