Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fm/vdme1991-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/fm/Arthan91,
author = {R. D. Arthan},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {On Formal Specification of a Proof Tool},
booktitle = {{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},
pages = {356--370},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_22},
doi = {10.1007/3-540-54834-3\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Arthan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Bear91,
author = {Stephen Bear},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {An Overview of {HP-SL}},
booktitle = {{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},
pages = {571--587},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_33},
doi = {10.1007/3-540-54834-3\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Bear91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BednarczykB91,
author = {Marek A. Bednarczyk and
Andrzej M. Borzyszkowski},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {CPO's do not form a CPO, and yet Recursion Works},
booktitle = {{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},
pages = {268--278},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_17},
doi = {10.1007/3-540-54834-3\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BednarczykB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Benveniste91,
author = {Marc V. Benveniste},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Writing Operational Semantics in {Z:} {A} Sructural Approach},
booktitle = {{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},
pages = {164--188},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_12},
doi = {10.1007/3-540-54834-3\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Benveniste91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BicarreguiR91,
author = {Juan Bicarregui and
Brian Ritchie},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Reasoning about {VDM} Developments using the {VDM} Support Tool in
{MURAL}},
booktitle = {{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},
pages = {371--388},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_23},
doi = {10.1007/3-540-54834-3\_23},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BicarreguiR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Blaue91,
author = {Christoph Blaue},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A {VDM} Subset Compiler},
booktitle = {{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},
pages = {697--698},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_54},
doi = {10.1007/3-540-54834-3\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Blaue91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Bril91,
author = {Reinder J. Bril},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A Model-Oriented Method for Algebraic Specification using {COLD-1}
as Notation},
booktitle = {{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},
pages = {106--124},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_9},
doi = {10.1007/3-540-54834-3\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Bril91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BruunHD91,
author = {Hans Bruun and
Bo Stig Hansen and
Flemming M. Damm},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {An Approach to the Static Semantics of {VDM-SL}},
booktitle = {{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},
pages = {220--253},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_15},
doi = {10.1007/3-540-54834-3\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BruunHD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Butler91,
author = {Michael J. Butler},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Behavioural Extension for {CSP}},
booktitle = {{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},
pages = {254--267},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_16},
doi = {10.1007/3-540-54834-3\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Butler91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Cattel91,
author = {Thierry Cattel},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Tactical Tools for Distributing {VDM} Specifications},
booktitle = {{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},
pages = {309--323},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_19},
doi = {10.1007/3-540-54834-3\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Cattel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChalmersDGPZ91,
author = {D. L. Chalmers and
Bent Dandanell and
Jesper G{\o}rtz and
Jan Storbank Pedersen and
Eld Zierau},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Using {RAISE} - First Impressions from the LaCoS Applications},
booktitle = {{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},
pages = {645--657},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_39},
doi = {10.1007/3-540-54834-3\_39},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChalmersDGPZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Clement91,
author = {Tim Clement},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Combining Transformation and Posit-and Prove in a {VDM} Development},
booktitle = {{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},
pages = {63--80},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_7},
doi = {10.1007/3-540-54834-3\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Clement91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CraigenKMPS91,
author = {Dan Craigen and
Sentot Kromodimoeljo and
Irwin Meisels and
Bill Pase and
Mark Saaltink},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{EVES:} An Overview},
booktitle = {{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},
pages = {389--405},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_24},
doi = {10.1007/3-540-54834-3\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CraigenKMPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DammBH91,
author = {Flemming M. Damm and
Hans Bruun and
Bo Stig Hansen},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {VDM-SL} Editor and Consistency Checker},
booktitle = {{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},
pages = {693--694},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_52},
doi = {10.1007/3-540-54834-3\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DammBH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DammHB91,
author = {Flemming M. Damm and
Bo Stig Hansen and
Hans Bruun},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {On Type Checking in {VDM} and Related Consistency Issues},
booktitle = {{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},
pages = {45--62},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_6},
doi = {10.1007/3-540-54834-3\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DammHB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DickL91,
author = {Jeremy Dick and
J{\'{e}}r{\^{o}}me Loubersac},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The Visual Presentation of {VDM} Specifications},
booktitle = {{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},
pages = {670--671},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_42},
doi = {10.1007/3-540-54834-3\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DickL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Dollin91,
author = {Chris Dollin},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {HP-ST} Toolset},
booktitle = {{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},
pages = {687--688},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_49},
doi = {10.1007/3-540-54834-3\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Dollin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DomaN91,
author = {Veronika Doma and
Robin A. Nicholl},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{EZ:} {A} System for Automatic Prototyping of {Z} Specifications},
booktitle = {{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},
pages = {189--203},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_13},
doi = {10.1007/3-540-54834-3\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DomaN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Elvang-Goransson91,
author = {Morten Elvang{-}G{\o}ransson},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Reasoning about {VDM} Specifications},
booktitle = {{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},
pages = {343--355},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_21},
doi = {10.1007/3-540-54834-3\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Elvang-Goransson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GarlanN91,
author = {David Garlan and
David Notkin},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Formalizing Design Spaces: Implicit Invocation Mechanisms},
booktitle = {{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},
pages = {31--44},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_5},
doi = {10.1007/3-540-54834-3\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GarlanN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Goldschlag91,
author = {David M. Goldschlag},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A Mechanical Formalization of Several Fairness Notions},
booktitle = {{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},
pages = {125--148},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_10},
doi = {10.1007/3-540-54834-3\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Goldschlag91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Group91,
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {RAISE} Toolset},
booktitle = {{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},
pages = {689--690},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_50},
doi = {10.1007/3-540-54834-3\_50},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Group91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Guttag91,
author = {John V. Guttag},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The Larch Approach to Specification (Abstract)},
booktitle = {{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},
pages = {10},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_3},
doi = {10.1007/3-540-54834-3\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Guttag91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HeeSV91,
author = {Kees M. van Hee and
Lou J. Somers and
Marc Voorhoeve},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Z and High Level Petri Nets},
booktitle = {{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},
pages = {204--219},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_14},
doi = {10.1007/3-540-54834-3\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HeeSV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HeeSV91a,
author = {Kees M. van Hee and
Lou J. Somers and
Marc Voorhoeve},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {EXSPECT} Tool},
booktitle = {{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},
pages = {683--684},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_47},
doi = {10.1007/3-540-54834-3\_47},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HeeSV91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HepingZ91,
author = {Heping He and
Hussein Zedan},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Prototyping with Temporal {VDM:} {A} Status Report},
booktitle = {{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},
pages = {681--682},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_46},
doi = {10.1007/3-540-54834-3\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HepingZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoffmannK91,
author = {Berthold Hoffmann and
Bernd Krieg{-}Br{\"{u}}ckner},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {PROSPECTRA} System},
booktitle = {{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},
pages = {668--669},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_41},
doi = {10.1007/3-540-54834-3\_41},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HoffmannK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Houston91,
author = {Ian Houston},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {IBM} {Z} Tool},
booktitle = {{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},
pages = {691--692},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_51},
doi = {10.1007/3-540-54834-3\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Houston91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoustonK91,
author = {Ian Houston and
Steve King},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{CICS} Project Report: Experiences and Results from the use of {Z}
in {IBM}},
booktitle = {{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},
pages = {588--596},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_34},
doi = {10.1007/3-540-54834-3\_34},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HoustonK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Jackson91,
author = {Michael Jackson},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Description is our Business},
booktitle = {{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},
pages = {1--8},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_1},
doi = {10.1007/3-540-54834-3\_1},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Jackson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Jonkers91,
author = {H. B. M. Jonkers},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Upgrading the Pre- and Postcondition Technique},
booktitle = {{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},
pages = {428--456},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_26},
doi = {10.1007/3-540-54834-3\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Jonkers91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Jordan91,
author = {David Jordan},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{CADIZ} - Computer Aided Design in {Z}},
booktitle = {{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},
pages = {685--686},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_48},
doi = {10.1007/3-540-54834-3\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Jordan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KinnaesV91,
author = {D. Kinnaes and
Karel De Vlaminck},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A Debugger for a Meta-IV-like Meta-Language},
booktitle = {{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},
pages = {597--603},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_35},
doi = {10.1007/3-540-54834-3\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KinnaesV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenL91,
author = {Peter Gorm Larsen and
Poul B{\o}gh Lassen},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {An Executable Subset of Meta-IV with Loose Specification},
booktitle = {{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},
pages = {604--618},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_36},
doi = {10.1007/3-540-54834-3\_36},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LarsenL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Lavalette91,
author = {Gerard R. Renardel de Lavalette},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Formal Development of a Serial Copy Management System},
booktitle = {{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},
pages = {477--495},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_28},
doi = {10.1007/3-540-54834-3\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Lavalette91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeeS91,
author = {Matthew Lee and
Ib Holm S{\o}rensen},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {B-Tool},
booktitle = {{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},
pages = {695--696},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_53},
doi = {10.1007/3-540-54834-3\_53},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LeeS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MarshallS91,
author = {Lynn S. Marshall and
Linda Simon},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Using {VDM} within an Object-Oriented Framework},
booktitle = {{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},
pages = {619--628},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_37},
doi = {10.1007/3-540-54834-3\_37},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MarshallS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/McParlandK91,
author = {P. McParland and
Peter Kilpatrick},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A Specification of a Complex Programming Language Statement},
booktitle = {{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},
pages = {658--667},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_40},
doi = {10.1007/3-540-54834-3\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/McParlandK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MiddelburgL91,
author = {Cornelis A. Middelburg and
Gerard R. Renardel de Lavalette},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{LPF} and MPL\({}_{\mbox{omega}}\) - {A} Logical Comparison of {VDM}
{SL} and {COLD-K}},
booktitle = {{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},
pages = {279--308},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_18},
doi = {10.1007/3-540-54834-3\_18},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MiddelburgL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Milner91,
author = {Robin Milner},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Concurrent Processes as Objects (Abstract)},
booktitle = {{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},
pages = {9},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_2},
doi = {10.1007/3-540-54834-3\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Milner91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MooreF91,
author = {Richard C. Moore and
Peter K. D. Froome},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{MURAL} and {SPECBOX}},
booktitle = {{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},
pages = {672--674},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_43},
doi = {10.1007/3-540-54834-3\_43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MooreF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ParkinO91,
author = {Graeme I. P. Parkin and
G. O'Neill},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Specification of the {MAA} Standard in {VDM}},
booktitle = {{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},
pages = {526--544},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_31},
doi = {10.1007/3-540-54834-3\_31},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ParkinO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PennyHG91,
author = {David A. Penny and
Richard C. Holt and
Michael W. Godfrey},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Formal Specification in Metamorphic Programing},
booktitle = {{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},
pages = {11--30},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_4},
doi = {10.1007/3-540-54834-3\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PennyHG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PlatKP91,
author = {Nico Plat and
Jan van Katwijk and
Kees Pronk},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {A Case for Structured Analysis/Formal Design},
booktitle = {{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},
pages = {81--105},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_8},
doi = {10.1007/3-540-54834-3\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PlatKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PlatPV91,
author = {Nico Plat and
Kees Pronk and
Marcel Verhoef},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The Delft {VDM-SL} Front-End},
booktitle = {{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},
pages = {677--680},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_45},
doi = {10.1007/3-540-54834-3\_45},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PlatPV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Puccetti91,
author = {Armand Puccetti},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The Integrated Software Development and Verification System {ATES}},
booktitle = {{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},
pages = {629--644},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_38},
doi = {10.1007/3-540-54834-3\_38},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Puccetti91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RossigS91,
author = {Stephan R{\"{o}}ssig and
Michael Schenke},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Specification and Stepwise Development of Communicating Systems},
booktitle = {{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},
pages = {149--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_11},
doi = {10.1007/3-540-54834-3\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RossigS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ScheweSW91,
author = {Klaus{-}Dieter Schewe and
Joachim W. Schmidt and
Ingrid Wetzel},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Specification and Refinement in an Integrated Database Application
Environment},
booktitle = {{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},
pages = {496--510},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_29},
doi = {10.1007/3-540-54834-3\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ScheweSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchmidtH91,
author = {Uwe Schmidt and
Hans{-}Martin H{\"{o}}rcher},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The {VDM} Domain Compiler: {A} {VDM} Class Library Generator},
booktitle = {{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},
pages = {675--676},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_44},
doi = {10.1007/3-540-54834-3\_44},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchmidtH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SmithK91,
author = {Paul Smith and
Richard Keighley},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The Formal Development of a Secure Transaction Mechanism},
booktitle = {{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},
pages = {457--476},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_27},
doi = {10.1007/3-540-54834-3\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SmithK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Stolen91,
author = {Ketil St{\o}len},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {An Attempt to Reason about Shared-State Concurrency in the Style of
{VDM}},
booktitle = {{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},
pages = {324--342},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_20},
doi = {10.1007/3-540-54834-3\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Stolen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Weber91,
author = {Matthias Weber},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Deriving Transivity of VDM-Reification in {DEVA}},
booktitle = {{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},
pages = {406--427},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_25},
doi = {10.1007/3-540-54834-3\_25},
timestamp = {Mon, 18 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Weber91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WingZ91,
author = {Jeannette M. Wing and
Amy Moormann Zaremski},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Unintrusive Ways to Integrate Formal Specifications in Practice},
booktitle = {{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},
pages = {545--569},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_32},
doi = {10.1007/3-540-54834-3\_32},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/WingZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZaveJ91,
author = {Pamela Zave and
Michael Jackson},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Techniques for Partial Specification and Specification of Switching
Systems},
booktitle = {{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},
pages = {511--525},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_30},
doi = {10.1007/3-540-54834-3\_30},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ZaveJ91.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}
}
a service of 
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.
retrieved on 2024-08-22 22:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
