Search dblp for Publications

export results for "toc:db/conf/fm/vdme1991-2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fm/AbrialLNSS91,
  author       = {Jean{-}Raymond Abrial and
                  Matthew K. O. Lee and
                  David Neilson and
                  P. N. Scharbach and
                  Ib Holm S{\o}rensen},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {The B-Method},
  booktitle    = {{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},
  pages        = {398--405},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0020001},
  doi          = {10.1007/BFB0020001},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/AbrialLNSS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Airchinnigh91,
  author       = {M{\'{\i}}che{\'{a}}l Mac an Airchinnigh},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {Tutorial on the Irish School of the {VDM}},
  booktitle    = {{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},
  pages        = {141--237},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019997},
  doi          = {10.1007/BFB0019997},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Airchinnigh91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/DahlO91,
  author       = {Ole{-}Johan Dahl and
                  Olaf Owe},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {Formal Development with {ABEL}},
  booktitle    = {{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},
  pages        = {320--362},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019999},
  doi          = {10.1007/BFB0019999},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/DahlO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/George91,
  author       = {Chris George},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {The {RAISE} Specification Langiage: {A} Tutorial},
  booktitle    = {{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},
  pages        = {238--319},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019998},
  doi          = {10.1007/BFB0019998},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/George91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/GoodY91,
  author       = {Donald I. Good and
                  William D. Young},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {Mathematical Methods for Digital Systems Development},
  booktitle    = {{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},
  pages        = {406--430},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0020002},
  doi          = {10.1007/BFB0020002},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/GoodY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/GuttagH91,
  author       = {John V. Guttag and
                  James J. Horning},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {A Tutorial on {LARCH} and LCL, {A} {LARCH/C} Interface Language},
  booktitle    = {{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},
  pages        = {1--78},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019995},
  doi          = {10.1007/BFB0019995},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/GuttagH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Krieg-BrucknerKLT91,
  author       = {Bernd Krieg{-}Br{\"{u}}ckner and
                  Einar W. Karlsen and
                  Junbo Liu and
                  Owen Traynor},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {The {PROSPECTRA} Methodology and System: Uniform Transformational
                  (Meta-) Development},
  booktitle    = {{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},
  pages        = {363--397},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0020000},
  doi          = {10.1007/BFB0020000},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Krieg-BrucknerKLT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Woodcock91,
  author       = {Jim Woodcock},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {A Tutorial on the Refinement Calculus},
  booktitle    = {{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},
  pages        = {79--140},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019996},
  doi          = {10.1007/BFB0019996},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/Woodcock91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Woodcock91a,
  author       = {Jim Woodcock},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {The Refinement Calculus},
  booktitle    = {{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},
  pages        = {80--95},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/Woodcock91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Woodcock91b,
  author       = {Jim Woodcock},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {An Introduction to Refinement in {Z}},
  booktitle    = {{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},
  pages        = {96--117},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/Woodcock91b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Woodcock91c,
  author       = {Jim Woodcock},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {Two Refinement Case Studies},
  booktitle    = {{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},
  pages        = {118--140},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/Woodcock91c.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}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.