default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fm/vdme1988.bht:"
download as .bib file
@inproceedings{DBLP:conf/fm/Abrial88,
author = {Jean{-}Raymond Abrial},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The {B} Tool (Abstract)},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {86--87},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_8},
doi = {10.1007/3-540-50214-9\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Abrial88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Andrews88,
author = {Derek J. Andrews},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Report from the BSIPanel for the Standardisation of {VDM} {(IST/5/50)}},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {74--78},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_6},
doi = {10.1007/3-540-50214-9\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Andrews88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AndrewsGLP88,
author = {Derek J. Andrews and
Anjula Garg and
S. P. A. Lau and
J. R. Pitchers},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The Formal Definition of Modula-2 and Its Associated Interpreter},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {167--177},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_15},
doi = {10.1007/3-540-50214-9\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AndrewsGLP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Arthan88,
author = {R. D. Arthan},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Compiler Prototyping with {VDM} and Standard {ML}},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {101--115},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_10},
doi = {10.1007/3-540-50214-9\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Arthan88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Bear88,
author = {Stephen Bear},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Structuring for the {VDM} Specification Language},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {2--25},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_2},
doi = {10.1007/3-540-50214-9\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Bear88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Blikle88,
author = {Andrzej Blikle},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Three-Valued Predicates for Software Specification and Validation},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {243--266},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_20},
doi = {10.1007/3-540-50214-9\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Blikle88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Boddy88,
author = {Graham Boddy},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The Use of {VDM} within the Alvey Flagship Project},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {153--166},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_14},
doi = {10.1007/3-540-50214-9\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Boddy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BorzyszkowskiKS88,
author = {Andrzej M. Borzyszkowski and
Ryszard Kubiak and
Stefan Sokolowski},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - {A}
Contribution to MetaSoft},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {267--298},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_21},
doi = {10.1007/3-540-50214-9\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BorzyszkowskiKS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BorzyszkowskiS88,
author = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Understanding an informal Description: Office Documents Architecture,
an {ISO} Standard},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {48--63},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_4},
doi = {10.1007/3-540-50214-9\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BorzyszkowskiS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ButhB88,
author = {Bettina Buth and
Karl{-}Heinz Buth},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Correctness Proofs for Meta {IV} Written Code Generator Specification
using Term Rewriting},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {406--433},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_26},
doi = {10.1007/3-540-50214-9\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ButhB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Goldsack88,
author = {Stephen J. Goldsack},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Specification of an Operating System Kernel {FOREST} and {VDM} compared},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {88--100},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_9},
doi = {10.1007/3-540-50214-9\_9},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Goldsack88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Good88,
author = {Donald I. Good},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Computing is a Physical Science (Abstract)},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {1--1},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_1},
doi = {10.1007/3-540-50214-9\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Good88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Haxthausen88,
author = {Anne E. Haxthausen},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Mutually Recursive Algebraic Domain Equations},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {299--317},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_22},
doi = {10.1007/3-540-50214-9\_22},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Haxthausen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JagerGK88,
author = {Michael J{\"{a}}ger and
Michael Gloger and
Stefan Kaes},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {{SAMPLE} - {A} Functional Language},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {202--217},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_18},
doi = {10.1007/3-540-50214-9\_18},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JagerGK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JiangX88,
author = {XinJie Jiang and
YongSen Xu},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {{NUSL:} An Executable Specification Language Based on Data Abstraction},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {124--138},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_12},
doi = {10.1007/3-540-50214-9\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JiangX88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JonesL88,
author = {Cliff B. Jones and
Peter A. Lindsay},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {A Support System for Formal Reasoning: Requirements and Status},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {139--152},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_13},
doi = {10.1007/3-540-50214-9\_13},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JonesL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JonesM88,
author = {Cliff B. Jones and
Richard C. Moore},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {{MUFFIN:} {A} User Interface Design Experiment for a Theorem Proving
Assistant},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {337--375},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_24},
doi = {10.1007/3-540-50214-9\_24},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JonesM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KilpatrickM88,
author = {Peter Kilpatrick and
P. McParland},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Software Support for the Refinement of {VDM} Specifications},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {459--475},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_28},
doi = {10.1007/3-540-50214-9\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KilpatrickM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KonikowskaTB88,
author = {Beata Konikowska and
Andrzej Tarlecki and
Andrzej Blikle},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {A Three-Valued Logic for Software Specification and Validation},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {218--242},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_19},
doi = {10.1007/3-540-50214-9\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KonikowskaTB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Middelburg88,
author = {Kees Middelburg},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The {VIP} {VDM} Specification Language},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {187--201},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_17},
doi = {10.1007/3-540-50214-9\_17},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Middelburg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Milne88,
author = {Robert Milne},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Proof Rules for {VDM} Statements},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {318--336},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_23},
doi = {10.1007/3-540-50214-9\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Milne88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Naftalin88,
author = {Maurice Naftalin},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Correctness for Beginners},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {26--47},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_3},
doi = {10.1007/3-540-50214-9\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Naftalin88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NielsenHWG88,
author = {Mogens Nielsen and
Klaus Havelund and
Kim Ritter Wagner and
Chris George},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The {RAISE} Language, Method and Tools},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {376--405},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_25},
doi = {10.1007/3-540-50214-9\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NielsenHWG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ONeill88,
author = {David O'Neill},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {{VDM} Development with {ADA} as the Target Language},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {116--123},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_11},
doi = {10.1007/3-540-50214-9\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ONeill88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Ruggles88,
author = {Clive Ruggles},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Towards a Formal Definition of {GKS} and other Graphic Standards},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {64--73},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_5},
doi = {10.1007/3-540-50214-9\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Ruggles88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Ruggles88a,
author = {Clive Ruggles},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Formal Methods in Standards - {A} Report from the {BCS} Working Group},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {79--85},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_7},
doi = {10.1007/3-540-50214-9\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Ruggles88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Scullard88,
author = {G. T. Scullard},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Test Case Selection using {VDM}},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {178--186},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_16},
doi = {10.1007/3-540-50214-9\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Scullard88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TeoA88,
author = {Ghee S. Teo and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The Use of {VDM} in the Specification of Chinese Characters},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {476--499},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_29},
doi = {10.1007/3-540-50214-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/TeoA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WoodcockD88,
author = {Jim Woodcock and
B. Dickinson},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Using {VDM} with Rely and Guarantee-Conditions - Experiences from
a Real Project},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {434--458},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_27},
doi = {10.1007/3-540-50214-9\_27},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WoodcockD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1988,
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9},
doi = {10.1007/3-540-50214-9},
isbn = {3-540-50214-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/1988.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.
retrieved on 2024-09-26 22:31 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:
