Search dblp for Publications

export results for "stream:streams/conf/b:"

 download as .bib file

@inproceedings{DBLP:conf/b/BenaissaCM07,
  author    = {Nazim Bena{\"{\i}}ssa and
               Dominique Cansell and
               Dominique M{\'{e}}ry},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Integration of Security Policy into System Modeling},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {232--247},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_19},
  doi       = {10.1007/11955757\_19},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BenaissaCM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BendispostoL07,
  author    = {Jens Bendisposto and
               Michael Leuschel},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {A Generic Flash-Based Animation Engine for ProB},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {266--269},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_26},
  doi       = {10.1007/11955757\_26},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BendispostoL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BendispostoL07a,
  author    = {Jens Bendisposto and
               Michael Leuschel},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {BE\({}^{\mbox{4}}\): The {B} Extensible Eclipse Editing Environment},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {270--273},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_27},
  doi       = {10.1007/11955757\_27},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BendispostoL07a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BostromNOW07,
  author    = {Pontus Bostr{\"{o}}m and
               Mats Neovius and
               Ian Oliver and
               Marina Wald{\'{e}}n},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Formal Transformation of Platform Independent Models into Platform
               Specific Models},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {186--200},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_16},
  doi       = {10.1007/11955757\_16},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BostromNOW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BoulmeP07,
  author    = {Sylvain Boulm{\'{e}} and
               Marie{-}Laure Potet},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Interpreting Invariant Composition in the {B} Method Using the Spec{\#}
               Ownership Relation: {A} Way to Explain and Relax {B} Restrictions},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {4--18},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_4},
  doi       = {10.1007/11955757\_4},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BoulmeP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BouquetCDG07,
  author    = {Fabrice Bouquet and
               Jean{-}Fran{\c{c}}ois Couchot and
               Fr{\'{e}}d{\'{e}}ric Dadeau and
               Alain Giorgetti},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Instantiation of Parameterized Data Structures for Model-Based Testing},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {94--108},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_10},
  doi       = {10.1007/11955757\_10},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BouquetCDG07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BouquetDG07,
  author    = {Fabrice Bouquet and
               Fr{\'{e}}d{\'{e}}ric Dadeau and
               Julien Groslambert},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {{JML2B:} Checking {JML} Specifications with {B} Machines},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {285--288},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_31},
  doi       = {10.1007/11955757\_31},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BouquetDG07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/CansellMR07,
  author    = {Dominique Cansell and
               Dominique M{\'{e}}ry and
               Joris Rehm},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Time Constraint Patterns for Event {B} Development},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {140--154},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_13},
  doi       = {10.1007/11955757\_13},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/CansellMR07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/ChanRW07,
  author    = {Edward Chan and
               Ken Robinson and
               Brett Welch},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Patterns for {B:} Bridging Formal and Informal Development},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {125--139},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_12},
  doi       = {10.1007/11955757\_12},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/ChanRW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Chemouil07,
  author    = {David Chemouil},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {The Design of Spacecraft On-Board Software},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {3},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_3},
  doi       = {10.1007/11955757\_3},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Chemouil07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Clabaut07,
  author    = {Mathieu Clabaut},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {A Tool for Firewall Administration},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {255--256},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_22},
  doi       = {10.1007/11955757\_22},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Clabaut07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Dunne07,
  author    = {Steve Dunne},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Chorus Angelorum},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {19--33},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_5},
  doi       = {10.1007/11955757\_5},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Dunne07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/EssameD07,
  author    = {Didier Essam{\'{e}} and
               Daniel Doll{\'{e}}},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {B in Large-Scale Projects: The Canarsie Line {CBTC} Experience},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {252--254},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_21},
  doi       = {10.1007/11955757\_21},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/EssameD07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/EvansI07,
  author    = {Neil Evans and
               Wilson Ifill},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Hardware Verification and Beyond: Using {B} at {AWE}},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {260--261},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_24},
  doi       = {10.1007/11955757\_24},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/EvansI07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/GervaisFL07,
  author    = {Fr{\'{e}}d{\'{e}}ric Gervais and
               Marc Frappier and
               R{\'{e}}gine Laleau},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Refinement of eb\({}^{\mbox{3}}\) Process Patterns into {B} Specifications},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {201--215},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_17},
  doi       = {10.1007/11955757\_17},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/GervaisFL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Gibson07,
  author    = {J. Paul Gibson},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {E-Voting and the Need for Rigourous Software Engineering - The Past,
               Present and Future},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {1},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_1},
  doi       = {10.1007/11955757\_1},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Gibson07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Groslambert07,
  author    = {Julien Groslambert},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Verification of {LTL} on {B} Event Systems},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {109--124},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_11},
  doi       = {10.1007/11955757\_11},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Groslambert07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Groslambert07a,
  author    = {Julien Groslambert},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {A},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {262--265},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_25},
  doi       = {10.1007/11955757\_25},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Groslambert07a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Haddad07,
  author    = {Amal Haddad},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Meca: {A} Tool for Access Control Models},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {281--284},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_30},
  doi       = {10.1007/11955757\_30},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Haddad07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Hallerstede07,
  author    = {Stefan Hallerstede},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Justifications for the Event-B Modelling Notation},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {49--63},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_7},
  doi       = {10.1007/11955757\_7},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Hallerstede07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/HoffmannHGB07,
  author    = {Sarah Hoffmann and
               Germain Haugou and
               Sophie Gabriele and
               Lilian Burdy},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {The B-Method for the Construction of Microkernel-Based Systems},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {257--259},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_23},
  doi       = {10.1007/11955757\_23},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/HoffmannHGB07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/IfillST07,
  author    = {Wilson Ifill and
               Steve A. Schneider and
               Helen Treharne},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Augmenting {B} with Control Annotations},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {34--48},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_6},
  doi       = {10.1007/11955757\_6},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/IfillST07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Jaffuel07,
  author    = {Eddie Jaffuel},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Using {B} Machines for Model-Based Testing of Smartcard Software},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {2},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_2},
  doi       = {10.1007/11955757\_2},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Jaffuel07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/JaffuelL07,
  author    = {Eddie Jaffuel and
               Bruno Legeard},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {{LEIRIOS} Test Generator: Automated Test Generation from {B} Models},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {277--280},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_29},
  doi       = {10.1007/11955757\_29},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/JaffuelL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/LeuschelBST07,
  author    = {Michael Leuschel and
               Michael J. Butler and
               Corinna Spermann and
               Edd Turner},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Symmetry Reduction for {B} by Permutation Flooding},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {79--93},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_9},
  doi       = {10.1007/11955757\_9},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/LeuschelBST07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Morris07,
  author    = {Joseph M. Morris},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Plug-and-Play Nondeterminacy},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {289--292},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_32},
  doi       = {10.1007/11955757\_32},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Morris07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Oliver07,
  author    = {Ian Oliver},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Experiences in Using {B} and {UML} in Industrial Development},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {248--251},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_20},
  doi       = {10.1007/11955757\_20},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Oliver07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Servat07,
  author    = {Thierry Servat},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {{BRAMA:} {A} New Graphic Animation Tool for {B} Models},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {274--276},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_28},
  doi       = {10.1007/11955757\_28},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Servat07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/SnookW07,
  author    = {Colin F. Snook and
               Marina Wald{\'{e}}n},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Refinement of Statemachines Using Event {B} Semantics},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {171--185},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_15},
  doi       = {10.1007/11955757\_15},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/SnookW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/StoddartCZ07,
  author    = {Bill Stoddart and
               Dominique Cansell and
               Frank Zeyda},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Modelling and Proof Analysis of Interrupt Driven Scheduling},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {155--170},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_14},
  doi       = {10.1007/11955757\_14},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/StoddartCZ07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/StoulsP07,
  author    = {Nicolas Stouls and
               Marie{-}Laure Potet},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Security Policy Enforcement Through Refinement Process},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {216--231},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_18},
  doi       = {10.1007/11955757\_18},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/StoulsP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/YangP07,
  author    = {Letu Yang and
               Michael Poppleton},
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {Automatic Translation from Combined \emph{B} and {CSP} Specification
               to Java Programs},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  pages     = {64--78},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/11955757\_8},
  doi       = {10.1007/11955757\_8},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/YangP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/b/2007,
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11955757},
  doi       = {10.1007/11955757},
  isbn      = {3-540-68760-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/b/2007.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialCM05,
  author    = {Jean{-}Raymond Abrial and
               Dominique Cansell and
               Dominique M{\'{e}}ry},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Refinement and Reachability in Event\({}_{\mbox{B}}\)},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {222--241},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_14},
  doi       = {10.1007/11415787\_14},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AbrialCM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AmalioPS05,
  author    = {Nuno Am{\'{a}}lio and
               Fiona Polack and
               Susan Stepney},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {An Object-Oriented Structuring for {Z} Based on Views},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {262--278},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_16},
  doi       = {10.1007/11415787\_16},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AmalioPS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Attiogbe05,
  author    = {J. Christian Attiogb{\'{e}}},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {A Stepwise Development of the Peterson's Mutual Exclusion Algorithm
               Using {B} Abstract Systems},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {124--141},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_8},
  doi       = {10.1007/11415787\_8},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Attiogbe05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BadeauA05,
  author    = {Fr{\'{e}}d{\'{e}}ric Badeau and
               Arnaud Amelot},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Using {B} as a High Level Programming Language in an Industrial Project:
               Roissy {VAL}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {334--354},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_20},
  doi       = {10.1007/11415787\_20},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BadeauA05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BanachF05,
  author    = {Richard Banach and
               Simon Fraser},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Retrenchment and the B-Toolkit},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {203--221},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_13},
  doi       = {10.1007/11415787\_13},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BanachF05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BertPS05,
  author    = {Didier Bert and
               Marie{-}Laure Potet and
               Nicolas Stouls},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {GeneSyst: {A} Tool to Reason About Behavioral Aspects of {B} Event
               Specifications. Application to Security Properties},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {299--318},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_18},
  doi       = {10.1007/11415787\_18},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BertPS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BoitenD05,
  author    = {Eerke A. Boiten and
               John Derrick},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Formal Program Development with Approximations},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {374--392},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_22},
  doi       = {10.1007/11415787\_22},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BoitenD05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BostromW05,
  author    = {Pontus Bostr{\"{o}}m and
               Marina Wald{\'{e}}n},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {An Extension of Event {B} for Developing Grid Systems},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {142--161},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_9},
  doi       = {10.1007/11415787\_9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BostromW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BouquetDG05,
  author    = {Fabrice Bouquet and
               Fr{\'{e}}d{\'{e}}ric Dadeau and
               Julien Groslambert},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Checking {JML} Specifications with {B} Machines},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {434--453},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_25},
  doi       = {10.1007/11415787\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BouquetDG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BowenR05,
  author    = {Judy Bowen and
               Steve Reeves},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Including Design Guidelines in the Formal Specification of Interfaces
               in {Z}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {454--471},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_26},
  doi       = {10.1007/11415787\_26},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BowenR05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BrucknerW05,
  author    = {Ingo Br{\"{u}}ckner and
               Heike Wehrheim},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Slicing Object-Z Specifications for Verification},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {414--433},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_24},
  doi       = {10.1007/11415787\_24},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BrucknerW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DerrickW05,
  author    = {John Derrick and
               Heike Wehrheim},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Non-atomic Refinement in {Z} and {CSP}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {24--44},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_3},
  doi       = {10.1007/11415787\_3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DerrickW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DunneC05,
  author    = {Steve Dunne and
               Stacey Conroy},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Process Refinement in {B}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {45--64},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_4},
  doi       = {10.1007/11415787\_4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DunneC05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Groves05,
  author    = {Lindsay Groves},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Practical Data Refinement for the {Z} Schema Calculus},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {393--413},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_23},
  doi       = {10.1007/11415787\_23},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Groves05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HoangJRMM05,
  author    = {Thai Son Hoang and
               Zhendong Jin and
               Ken Robinson and
               Annabelle McIver and
               Carroll Morgan},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Development via Refinement in Probabilistic {B} - Foundation and Case
               Study},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {355--373},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_21},
  doi       = {10.1007/11415787\_21},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/HoangJRMM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Jones05,
  author    = {Cliff B. Jones},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Specification Before Satisfaction: The Case for Research into Obtaining
               the Right Specification - Extended Abstract},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {1--5},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_1},
  doi       = {10.1007/11415787\_1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Jones05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC05,
  author    = {Soon{-}Kyeong Kim and
               David A. Carrington},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {A Rigorous Foundation for Pattern-Based Design Models},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {242--261},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_15},
  doi       = {10.1007/11415787\_15},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/KimC05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LeuschelT05,
  author    = {Michael Leuschel and
               Edd Turner},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Visualising Larger State Spaces in Pro {B}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {6--23},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_2},
  doi       = {10.1007/11415787\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/LeuschelT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Long05,
  author    = {Benjamin W. Long},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Formal Verification of a Type Flaw Attack on a Security Protocol Using
               Object-Z},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {319--333},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_19},
  doi       = {10.1007/11415787\_19},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Long05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MalikU05,
  author    = {Petra Malik and
               Mark Utting},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {{CZT:} {A} Framework for {Z} Tools},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {65--84},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_5},
  doi       = {10.1007/11415787\_5},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zum/MalikU05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MorganHA05,
  author    = {Carroll Morgan and
               Thai Son Hoang and
               Jean{-}Raymond Abrial},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {The Challenge of Probabilistic \emph{Event B} - Extended Abstract},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {162--171},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_10},
  doi       = {10.1007/11415787\_10},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/MorganHA05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/RezazadehB05,
  author    = {Abdolbaghi Rezazadeh and
               Michael J. Butler},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Some Guidelines for Formal Development of Web-Based Applications in
               B-Method},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {472--492},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_27},
  doi       = {10.1007/11415787\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/RezazadehB05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/RossmorrisS05,
  author    = {Jemima Rossmorris and
               Susan Stepney},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Requirements as Conjectures: Intuitive {DVD} Menu Navigation},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {172--186},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_11},
  doi       = {10.1007/11415787\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/RossmorrisS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SmithW05,
  author    = {Graeme Smith and
               Luke Wildman},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Model Checking {Z} Specifications Using {SAL}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {85--103},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_6},
  doi       = {10.1007/11415787\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/SmithW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ToynG05,
  author    = {Ian Toyn and
               Andy Galloway},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Proving Properties of Stateflow Models Using {ISO} Standard {Z} and
               CADiZ},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {104--123},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_7},
  doi       = {10.1007/11415787\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ToynG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ZeydaSD05,
  author    = {Frank Zeyda and
               Bill Stoddart and
               Steve Dunne},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {A Prospective-Value Semantics for the {GSL}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {187--202},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_12},
  doi       = {10.1007/11415787\_12},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ZeydaSD05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ZimmermannT05,
  author    = {Yann Zimmermann and
               Diana Toma},
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {Component Reuse in {B} Using {ACL2}},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  pages     = {279--298},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11415787\_17},
  doi       = {10.1007/11415787\_17},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ZimmermannT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2005,
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135596},
  doi       = {10.1007/b135596},
  isbn      = {3-540-25559-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/2005.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Abrial03,
  author    = {Jean{-}Raymond Abrial},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {B\({}^{\mbox{{\#}}}\): Toward a Synthesis between {Z} and {B}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {168--177},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_12},
  doi       = {10.1007/3-540-44880-2\_12},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Abrial03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialCM03,
  author    = {Jean{-}Raymond Abrial and
               Dominique Cansell and
               Dominique M{\'{e}}ry},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Formal Derivation of Spanning Trees Algorithms},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {457--476},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_27},
  doi       = {10.1007/3-540-44880-2\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AbrialCM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AguirreBDM03,
  author    = {Nazareno Aguirre and
               Juan Bicarregui and
               Theodosis Dimitrakos and
               T. S. E. Maibaum},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Towards Dynamic Population Management of Abstract Machines in the
               {B} Method},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {528--545},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_31},
  doi       = {10.1007/3-540-44880-2\_31},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AguirreBDM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AmalioP03,
  author    = {Nuno Am{\'{a}}lio and
               Fiona Polack},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Comparison of Formalisation Approaches of {UML} Class Constructs in
               {Z} and Object-Z},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {339--358},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_21},
  doi       = {10.1007/3-540-44880-2\_21},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AmalioP03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BlazyGL03,
  author    = {Sandrine Blazy and
               Fr{\'{e}}d{\'{e}}ric Gervais and
               R{\'{e}}gine Laleau},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Reuse of Specification Patterns with the {B} Method},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {40--57},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_4},
  doi       = {10.1007/3-540-44880-2\_4},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BlazyGL03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BurdyR03,
  author    = {Lilian Burdy and
               Antoine Requet},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Extending {B} with Control Flow Breaks},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {513--527},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_30},
  doi       = {10.1007/3-540-44880-2\_30},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BurdyR03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DarlotJK03,
  author    = {Christophe Darlot and
               Jacques Julliand and
               Olga Kouchnarenko},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Refinement Preserves {PLTL} Properties},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {408--420},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_24},
  doi       = {10.1007/3-540-44880-2\_24},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DarlotJK03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Derrick03,
  author    = {John Derrick},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Timed {CSP} and Object-Z},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {300--318},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_19},
  doi       = {10.1007/3-540-44880-2\_19},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Derrick03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DerrickW03,
  author    = {John Derrick and
               Heike Wehrheim},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Using Coupled Simulations in Non-atomic Refinement},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {127--147},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_10},
  doi       = {10.1007/3-540-44880-2\_10},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DerrickW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DeutschH03,
  author    = {Moshe Deutsch and
               Martin C. Henson},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {An Analysis of Forward Simulation Data Refinement},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {148--167},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_11},
  doi       = {10.1007/3-540-44880-2\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DeutschH03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DeutschHR03,
  author    = {Moshe Deutsch and
               Martin C. Henson and
               Steve Reeves},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Operation Refinement and Monotonicity in the Schema Calculus},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {103--126},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_9},
  doi       = {10.1007/3-540-44880-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DeutschHR03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Dunne03,
  author    = {Steve Dunne},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Introducing Backward Refinement into {B}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {178--196},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_13},
  doi       = {10.1007/3-540-44880-2\_13},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Dunne03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/FerreiraB03,
  author    = {Carla Ferreira and
               Michael J. Butler},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Using {B} Refinement to Analyse Compensating Business Processes},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {477--496},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_28},
  doi       = {10.1007/3-540-44880-2\_28},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/FerreiraB03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/FrappierL03,
  author    = {Marc Frappier and
               R{\'{e}}gine Laleau},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Proving Event Ordering Properties for Information Systems},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {421--436},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_25},
  doi       = {10.1007/3-540-44880-2\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/FrappierL03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Hallerstede03,
  author    = {Stefan Hallerstede},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Parallel Hardware Design in {B}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {101--102},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_8},
  doi       = {10.1007/3-540-44880-2\_8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Hallerstede03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HieronsHS03,
  author    = {Robert M. Hierons and
               Mark Harman and
               Harbhajan Singh},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Automatically Generating Information from a {Z} Specification to Support
               the Classification Tree Method},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {388--407},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_23},
  doi       = {10.1007/3-540-44880-2\_23},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/HieronsHS03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HoangJRMM03,
  author    = {Thai Son Hoang and
               Zhendong Jin and
               Ken Robinson and
               Annabelle McIver and
               Carroll Morgan},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Probabilistic Invariants for Probabilistic Machines},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {240--259},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_16},
  doi       = {10.1007/3-540-44880-2\_16},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/HoangJRMM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Jackson03,
  author    = {Daniel Jackson},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Alloy: {A} Logical Modelling Language},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {1},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_1},
  doi       = {10.1007/3-540-44880-2\_1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Jackson03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/McIverMH03,
  author    = {Annabelle McIver and
               Carroll Morgan and
               Thai Son Hoang},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Probabilistic Termination in {B}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {216--239},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_15},
  doi       = {10.1007/3-540-44880-2\_15},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/McIverMH03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Meyer03,
  author    = {Bertrand Meyer},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Towards Practical Proofs of Class Correctness},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {359--387},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_22},
  doi       = {10.1007/3-540-44880-2\_22},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Meyer03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/PeschanskiJ03,
  author    = {Fr{\'{e}}d{\'{e}}ric Peschanski and
               Julien David},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {When Concurrent Control Meets Functional Requirements, or {Z} + Petri-Nets},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {79--97},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_6},
  doi       = {10.1007/3-540-44880-2\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/PeschanskiJ03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/PoerschkeLN03,
  author    = {Christine Poerschke and
               David E. Lightfoot and
               John L. Nealon},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {A Formal Specification in {B} of a Medical Decision Support System},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {497--512},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_29},
  doi       = {10.1007/3-540-44880-2\_29},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/PoerschkeLN03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Pouzancre03,
  author    = {Guilhem Pouzancre},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {How to Diagnose a Modern Car with a Formal {B} Model?},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {98--100},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_7},
  doi       = {10.1007/3-540-44880-2\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Pouzancre03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SmithW03,
  author    = {Graeme Smith and
               Kirsten Winter},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Proving Temporal Properties of {Z} Specifications Using Abstraction},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {260--279},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_17},
  doi       = {10.1007/3-540-44880-2\_17},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/SmithW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/StepneyPT03,
  author    = {Susan Stepney and
               Fiona Polack and
               Ian Toyn},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {An Outline Pattern Language for {Z:} Five Illustrations and Two Tables},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {2--19},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_2},
  doi       = {10.1007/3-540-44880-2\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/StepneyPT03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/StepneyPT03a,
  author    = {Susan Stepney and
               Fiona Polack and
               Ian Toyn},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Patterns to Guide Practical Refactoring: Examples Targetting Promotion
               in {Z}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {20--39},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_3},
  doi       = {10.1007/3-540-44880-2\_3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/StepneyPT03a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/StoddartZ03,
  author    = {Bill Stoddart and
               Frank Zeyda},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Expression Transformers in {B-GSL}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {197--215},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_14},
  doi       = {10.1007/3-540-44880-2\_14},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/StoddartZ03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/TreharneSB03,
  author    = {Helen Treharne and
               Steve A. Schneider and
               Marchia Bramble},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Composing Specifications Using Communication},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {58--78},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_5},
  doi       = {10.1007/3-540-44880-2\_5},
  timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/TreharneSB03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/UttingTSMDDC03,
  author    = {Mark Utting and
               Ian Toyn and
               Jing Sun and
               Andrew P. Martin and
               Jin Song Dong and
               Nicholas Daley and
               David W. Currie},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {{ZML:} {XML} Support for Standard {Z}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {437--456},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_26},
  doi       = {10.1007/3-540-44880-2\_26},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zum/UttingTSMDDC03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/UttingW03,
  author    = {Mark Utting and
               Shaochun Wang},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Object Orientation without Extending {Z}},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {319--338},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_20},
  doi       = {10.1007/3-540-44880-2\_20},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zum/UttingW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/WinterS03,
  author    = {Kirsten Winter and
               Graeme Smith},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {Compositional Verification for Object-Z},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  pages     = {280--299},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2\_18},
  doi       = {10.1007/3-540-44880-2\_18},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/WinterS03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2003,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina Wald{\'{e}}n},
  title     = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2},
  doi       = {10.1007/3-540-44880-2},
  isbn      = {3-540-40253-5},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/2003.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialCL02,
  author    = {Jean{-}Raymond Abrial and
               Dominique Cansell and
               Guy Laffitte},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {"Higher-Order" Mathematics in {B}},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {370--393},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_19},
  doi       = {10.1007/3-540-45648-1\_19},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AbrialCL02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialM02,
  author    = {Jean{-}Raymond Abrial and
               Louis Mussat},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {On Using Conditional Definitions in Formal Theories},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {242--269},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_13},
  doi       = {10.1007/3-540-45648-1\_13},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/AbrialM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Back02,
  author    = {Ralph{-}Johan Back},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Software Construction by Stepwise Feature Introduction},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {162--183},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_9},
  doi       = {10.1007/3-540-45648-1\_9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Back02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BasinRV02,
  author    = {David A. Basin and
               Frank Rittinger and
               Luca Vigan{\`{o}}},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {A Formal Analysis of the {CORBA} Security Service},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {330--349},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_17},
  doi       = {10.1007/3-540-45648-1\_17},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BasinRV02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BellegardeCJ02,
  author    = {Fran{\c{c}}oise Bellegarde and
               Samir Chouali and
               Jacques Julliand},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Verification of Dynamic Constraints for {B} Event Systems under Fairness
               Assumptions},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {477--496},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_25},
  doi       = {10.1007/3-540-45648-1\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BellegardeCJ02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BellegardeJK02,
  author    = {Fran{\c{c}}oise Bellegarde and
               Jacques Julliand and
               Olga Kouchnarenko},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Synchronized Parallel Composition of Event Systems in {B}},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {436--457},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_23},
  doi       = {10.1007/3-540-45648-1\_23},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BellegardeJK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BlowG02,
  author    = {James Blow and
               Andy Galloway},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Generalised Substitution Language and Differentials},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {396--415},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_21},
  doi       = {10.1007/3-540-45648-1\_21},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BlowG02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BodeveixF02,
  author    = {Jean{-}Paul Bodeveix and
               Mamoun Filali},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Type Synthesis in {B} and the Translation of {B} to {PVS}},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {350--369},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_18},
  doi       = {10.1007/3-540-45648-1\_18},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BodeveixF02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Boiten02,
  author    = {Eerke A. Boiten},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Loose Specification and Refinement in {Z}},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {226--241},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_12},
  doi       = {10.1007/3-540-45648-1\_12},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Boiten02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CansellGJMW02,
  author    = {Dominique Cansell and
               Ganesh Gopalakrishnan and
               Michael D. Jones and
               Dominique M{\'{e}}ry and
               Airy Weinzoepflen},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Incremental Proof of the Producer/Consumer Property for the {PCI}
               Protocol},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {22--41},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_2},
  doi       = {10.1007/3-540-45648-1\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/CansellGJMW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Chartier02,
  author    = {Pierre Chartier},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {{ABS} Project: Merging the Best Practices in Software Design from
               Railway and Aircraft Industries},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {394--395},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_20},
  doi       = {10.1007/3-540-45648-1\_20},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Chartier02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DocheG02,
  author    = {Marielle Doche and
               Andrew M. Gravell},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Extraction of Abstraction Invariants for Data Refinement},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {120--139},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_7},
  doi       = {10.1007/3-540-45648-1\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DocheG02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Dunne02,
  author    = {Steve Dunne},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {A Theory of Generalised Substitutions},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {270--290},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_14},
  doi       = {10.1007/3-540-45648-1\_14},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Dunne02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HehnerK02,
  author    = {Eric C. R. Hehner and
               Ioannis T. Kassios},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Theories, Implementations, and Transformations},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {1--21},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_1},
  doi       = {10.1007/3-540-45648-1\_1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/HehnerK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC02,
  author    = {Soon{-}Kyeong Kim and
               David A. Carrington},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {A Formal Model of the {UML} Metamodel: The {UML} State Machine and
               Its Integrity Constraints},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {497--516},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_26},
  doi       = {10.1007/3-540-45648-1\_26},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/KimC02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LaleauP02,
  author    = {Regine Laleau and
               Fiona Polack},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Coming and Going from {UML} to {B:} {A} Proposal to Support Traceability
               in Rigorous {IS} Development},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {517--534},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_27},
  doi       = {10.1007/3-540-45648-1\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/LaleauP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LegeardPU02,
  author    = {Bruno Legeard and
               Fabien Peureux and
               Mark Utting},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {A Comparison of the {BTT} and {TTF} Test-Generation Methods},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {309--329},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_16},
  doi       = {10.1007/3-540-45648-1\_16},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/zum/LegeardPU02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MiarkaDB02,
  author    = {Ralph Miarka and
               John Derrick and
               Eerke A. Boiten},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Handling Inconsistencies in {Z} Using Quasi-Classical Logic},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {204--225},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_11},
  doi       = {10.1007/3-540-45648-1\_11},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/MiarkaDB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MikhailovB02,
  author    = {Leonid Mikhailov and
               Michael J. Butler},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {An Approach to Combining {B} and Alloy},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {140--161},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_8},
  doi       = {10.1007/3-540-45648-1\_8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/MikhailovB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/PapatsarasS02,
  author    = {Antonis D. Papatsaras and
               Bill Stoddart},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Global and Communicating State Machine Models in Event Driven {B:}
               {A} Simple Railway Case Study},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {458--476},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_24},
  doi       = {10.1007/3-540-45648-1\_24},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/PapatsarasS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/PoppletonB02,
  author    = {Michael Poppleton and
               Richard Banach},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Controlling Control Systems: An Application of Evolving Retrenchment},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {42--61},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_3},
  doi       = {10.1007/3-540-45648-1\_3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/PoppletonB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Robinson02,
  author    = {Neil J. Robinson},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Checking {Z} Data Refinements Using an Animation Tool},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {62--81},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_4},
  doi       = {10.1007/3-540-45648-1\_4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Robinson02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SchneiderT02,
  author    = {Steve A. Schneider and
               Helen Treharne},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Communicating {B} Machines},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {416--435},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_22},
  doi       = {10.1007/3-540-45648-1\_22},
  timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/SchneiderT02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SmithKS02,
  author    = {Graeme Smith and
               Florian Kamm{\"{u}}ller and
               Thomas Santen},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Encoding Object-Z in Isabelle/HOL},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {82--99},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_5},
  doi       = {10.1007/3-540-45648-1\_5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/SmithKS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ToynS02,
  author    = {Ian Toyn and
               Susan Stepney},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Characters + Mark-up = {Z} Lexis},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {100--119},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_6},
  doi       = {10.1007/3-540-45648-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ToynS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/VilkomirB02,
  author    = {Sergiy A. Vilkomir and
               Jonathan P. Bowen},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {Reinforced Condition/Decision Coverage {(RC/DC):} {A} New Criterion
               for Software Testing},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {291--308},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_15},
  doi       = {10.1007/3-540-45648-1\_15},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/VilkomirB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/WoodcockC02,
  author    = {Jim Woodcock and
               Ana Cavalcanti},
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {The Semantics of Circus},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  pages     = {184--203},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1\_10},
  doi       = {10.1007/3-540-45648-1\_10},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/WoodcockC02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2002,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1},
  doi       = {10.1007/3-540-45648-1},
  isbn      = {3-540-43166-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/2002.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Arthan00,
  author    = {R. D. Arthan},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Analysis of Compiled Code: {A} Prototype Formal Model},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {433--449},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_25},
  doi       = {10.1007/3-540-44525-0\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Arthan00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BanachP00,
  author    = {Richard Banach and
               Michael Poppleton},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Retrenchment, Refinement, and Simulation},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {304--323},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_18},
  doi       = {10.1007/3-540-44525-0\_18},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BanachP00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BellegardeDJK00,
  author    = {Fran{\c{c}}oise Bellegarde and
               Christophe Darlot and
               Jacques Julliand and
               Olga Kouchnarenko},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Reformulate Dynamic Properties during {B} Refinement and Forget Variants
               and Loop Invariants},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {230--249},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_14},
  doi       = {10.1007/3-540-44525-0\_14},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BellegardeDJK00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BontronP00,
  author    = {Pierre Bontron and
               Marie{-}Laure Potet},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Automatic Construction of Validated {B} Components from Structured
               Developments},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {127--147},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_9},
  doi       = {10.1007/3-540-44525-0\_9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/BontronP00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ButlerM00,
  author    = {Michael J. Butler and
               Mairead Meagher},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Performing Algorithmic Refinement before Data Refinement in {B}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {324--343},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_19},
  doi       = {10.1007/3-540-44525-0\_19},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ButlerM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CansellM00,
  author    = {Dominique Cansell and
               Dominique M{\'{e}}ry},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Playing with Abstraction and Refinement for Managing Features Interactions},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {148--167},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_10},
  doi       = {10.1007/3-540-44525-0\_10},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/CansellM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CooperS00,
  author    = {David Cooper and
               Susan Stepney},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Segregation with Communication},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {451--470},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_27},
  doi       = {10.1007/3-540-44525-0\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/CooperS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DimitrakosBMM00,
  author    = {Theodosis Dimitrakos and
               Juan Bicarregui and
               Brian Matthews and
               T. S. E. Maibaum},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Compositional Structuring in the B-Method: {A} Logical Viewpoint of
               the Static Context},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {107--126},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_8},
  doi       = {10.1007/3-540-44525-0\_8},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DimitrakosBMM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DuffyG00,
  author    = {David A. Duffy and
               J{\"{u}}rgen Giesl},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Closure Induction in a Z-Like Language},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {471--490},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_28},
  doi       = {10.1007/3-540-44525-0\_28},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DuffyG00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DuffyT00,
  author    = {David A. Duffy and
               Ian Toyn},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Reasoning Inductively about {Z} Specifications via Unification},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {75--94},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_6},
  doi       = {10.1007/3-540-44525-0\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/DuffyT00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Everett00,
  author    = {David Everett},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Zzzzzzzzzzzzzzzzzzzzzzzzzz},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {450},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_26},
  doi       = {10.1007/3-540-44525-0\_26},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Everett00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Grieskamp00,
  author    = {Wolfgang Grieskamp},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {A Computation Model for {Z} Based on Concurrent Constraint Resolution},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {414--432},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_24},
  doi       = {10.1007/3-540-44525-0\_24},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Grieskamp00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HensonR00,
  author    = {Martin C. Henson and
               Steve Reeves},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Program Development and Specification Refinement in the Schema Calculus},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {344--362},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_20},
  doi       = {10.1007/3-540-44525-0\_20},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/HensonR00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC00,
  author    = {Soon{-}Kyeong Kim and
               David A. Carrington},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {A Formal Mapping between {UML} Models and Object-Z Specifications},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {2--21},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_2},
  doi       = {10.1007/3-540-44525-0\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/KimC00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LaleauM00,
  author    = {R{\'{e}}gine Laleau and
               Amel Mammar},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {A Generic Process to Refine a {B} Specification into a Relational
               Database Implementation},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {22--41},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_3},
  doi       = {10.1007/3-540-44525-0\_3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/LaleauM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Lanet00,
  author    = {Jean{-}Louis Lanet},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Are Smart Cards the Ideal Domain for Applying Formal Methods?},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {363--373},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_21},
  doi       = {10.1007/3-540-44525-0\_21},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Lanet00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LopezSD00,
  author    = {Nestor Lopez and
               Marianne Simonot and
               V{\'{e}}ronique Donzeau{-}Gouge},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Deriving Software Specifications from Event Based Models},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {209--229},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_13},
  doi       = {10.1007/3-540-44525-0\_13},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/LopezSD00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MatthewsS00,
  author    = {Chris Matthews and
               Paul A. Swatman},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Fuzzy Concepts and Formal Methods: {A} Fuzzy Logic Toolkit for {Z}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {491--510},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_29},
  doi       = {10.1007/3-540-44525-0\_29},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/MatthewsS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MiarkaBD00,
  author    = {Ralph Miarka and
               Eerke A. Boiten and
               John Derrick},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Guards, Preconditions, and Refinement in {Z}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {286--303},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_17},
  doi       = {10.1007/3-540-44525-0\_17},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/MiarkaBD00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Robinson00,
  author    = {Ken Robinson},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Reconciling Axiomatic and Model-Based Specifications Using the {B}
               Method},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {95--106},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_7},
  doi       = {10.1007/3-540-44525-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Robinson00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Smith00,
  author    = {Graeme Smith},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Recursive Schema Definitions in Object-Z},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {42--58},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_4},
  doi       = {10.1007/3-540-44525-0\_4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Smith00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Spivey00,
  author    = {J. Michael Spivey},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Meeting the Challenge of Object-Oriented Programming},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {1},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_1},
  doi       = {10.1007/3-540-44525-0\_1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Spivey00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/StepneyC00,
  author    = {Susan Stepney and
               David Cooper},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Formal Methods for Industrial Products},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {374--393},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_22},
  doi       = {10.1007/3-540-44525-0\_22},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/StepneyC00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Stoddart00,
  author    = {Bill Stoddart},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {An Execution Architecture for {GSL}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {394--413},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_23},
  doi       = {10.1007/3-540-44525-0\_23},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/Stoddart00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ToynVD00,
  author    = {Ian Toyn and
               Samuel H. Valentine and
               David A. Duffy},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {On Mutually Recursive Free Types in {Z}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {59--74},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_5},
  doi       = {10.1007/3-540-44525-0\_5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ToynVD00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ToynVSK00,
  author    = {Ian Toyn and
               Samuel H. Valentine and
               Susan Stepney and
               Steve King},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Typechecking {Z}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {264--285},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_16},
  doi       = {10.1007/3-540-44525-0\_16},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ToynVSK00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/TreharneS00,
  author    = {Helen Treharne and
               Steve A. Schneider},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {How to Drive a {B} Machine},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {188--208},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_12},
  doi       = {10.1007/3-540-44525-0\_12},
  timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/TreharneS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ValentineTSK00,
  author    = {Samuel H. Valentine and
               Ian Toyn and
               Susan Stepney and
               Steve King},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {Type-Constrained Generics for {Z}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {250--263},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_15},
  doi       = {10.1007/3-540-44525-0\_15},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/ValentineTSK00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/dInvernoHL00,
  author    = {Mark d'Inverno and
               Koen V. Hindriks and
               Michael Luck},
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {A Formal Architecture for the 3APL Agent Programming Language},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  pages     = {168--187},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0\_11},
  doi       = {10.1007/3-540-44525-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/dInvernoHL00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2000,
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0},
  doi       = {10.1007/3-540-44525-0},
  isbn      = {3-540-67944-8},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/2000.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Abrial98,
  author    = {Jean{-}Raymond Abrial},
  editor    = {Didier Bert},
  title     = {On {B}},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {1--8},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053350},
  doi       = {10.1007/BFb0053350},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Abrial98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/AbrialM98,
  author    = {Jean{-}Raymond Abrial and
               Louis Mussat},
  editor    = {Didier Bert},
  title     = {Introducing Dynamic Constraints in {B}},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {83--128},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053357},
  doi       = {10.1007/BFb0053357},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/AbrialM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BanachP98,
  author    = {Richard Banach and
               Michael Poppleton},
  editor    = {Didier Bert},
  title     = {Retrenchment: An Engineering Variation on Refinement},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {129--147},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053358},
  doi       = {10.1007/BFb0053358},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BanachP98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BehmBM98,
  author    = {Patrick Behm and
               Lilian Burdy and
               Jean{-}Marc Meynadier},
  editor    = {Didier Bert},
  title     = {Well Defined {B}},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {29--45},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053354},
  doi       = {10.1007/BFb0053354},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BehmBM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BehmDM98,
  author    = {Patrick Behm and
               Pierre Desforges and
               Jean{-}Marc Meynadier},
  editor    = {Didier Bert},
  title     = {M{\'{E}}T{\'{E}}OR : An Industrial Success in Formal Development},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {26},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053352},
  doi       = {10.1007/BFb0053352},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/BehmDM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Chartier98,
  author    = {Pierre Chartier},
  editor    = {Didier Bert},
  title     = {Formalisation of {B} in Isabelle/HOL},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {66--82},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053356},
  doi       = {10.1007/BFb0053356},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Chartier98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Heuberger98,
  author    = {Philipp A. Heuberger},
  editor    = {Didier Bert},
  title     = {Two Strategies to Data-Refine an Equivalence to a Forest},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {261--272},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053366},
  doi       = {10.1007/BFb0053366},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Heuberger98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/JulliandLMPT98,
  author    = {Jacques Julliand and
               Bruno Legeard and
               Thierry Machicoane and
               Benoit Parreaux and
               Bruno Tatibou{\"{e}}t},
  editor    = {Didier Bert},
  title     = {Specification of an Integrated Circuit Card Protocol Application Using
               the {B} Method and Linear Temporal Logic},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {273--292},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053367},
  doi       = {10.1007/BFb0053367},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/JulliandLMPT98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Malioukov98,
  author    = {Alexander Malioukov},
  editor    = {Didier Bert},
  title     = {An Object-Based Approach to the {B} Formal Method},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {162--181},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053360},
  doi       = {10.1007/BFb0053360},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Malioukov98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/MatthewsRB98,
  author    = {Brian Matthews and
               Brian Ritchie and
               Juan Bicarregui},
  editor    = {Didier Bert},
  title     = {Synthesising Structure from Flat Specifications},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {148--161},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053359},
  doi       = {10.1007/BFb0053359},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/b/MatthewsRB98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Morgan98,
  author    = {Carroll Morgan},
  editor    = {Didier Bert},
  title     = {The Generalised Substitution Language Extended to Probabilistic Programs},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {9--25},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053351},
  doi       = {10.1007/BFb0053351},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Morgan98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/PetinMML98,
  author    = {Jean{-}Fran{\c{c}}ois P{\'{e}}tin and
               G{\'{e}}rard Morel and
               Dominique M{\'{e}}ry and
               Patrick Lamboley},
  editor    = {Didier Bert},
  title     = {Process Control Engineering: Contribution to a Formal Structuring
               Framework with the {B} Method},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {198--209},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053362},
  doi       = {10.1007/BFb0053362},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/PetinMML98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Pilarski98,
  author    = {Fran{\c{c}}ois Pilarski},
  editor    = {Didier Bert},
  title     = {Cost Effectiveness of Formal Methods in the Development of Avionics
               Systems at A{\'{E}}ROSPATIALE},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {27--28},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053353},
  doi       = {10.1007/BFb0053353},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Pilarski98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/PotetR98,
  author    = {Marie{-}Laure Potet and
               Yann Rouzaud},
  editor    = {Didier Bert},
  title     = {Composition and Refinement in the B-Method},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {46--65},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053355},
  doi       = {10.1007/BFb0053355},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/PotetR98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Sekerinski98,
  author    = {Emil Sekerinski},
  editor    = {Didier Bert},
  title     = {Graphical Design of Reactive Systems},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {182--197},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053361},
  doi       = {10.1007/BFb0053361},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Sekerinski98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/StoddartDGS98,
  author    = {Bill Stoddart and
               Steve Dunne and
               Andy Galloway and
               Richard Shore},
  editor    = {Didier Bert},
  title     = {Abstract State Machines: Designing Distributed Systems with State
               Machines and {B}},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {226--242},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053364},
  doi       = {10.1007/BFb0053364},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/StoddartDGS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Taouil-TraversonV98,
  author    = {Sou{\^{a}}d Taouil{-}Traverson and
               Sylvie Vignes},
  editor    = {Didier Bert},
  title     = {Designing a {B} Model for Safety-Critical Software Systems},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {210--225},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053363},
  doi       = {10.1007/BFb0053363},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Taouil-TraversonV98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/TreharneDS98,
  author    = {Helen Treharne and
               J. Draper and
               Steve A. Schneider},
  editor    = {Didier Bert},
  title     = {Test Case Preparation Using a Prototype},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {293--311},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053368},
  doi       = {10.1007/BFb0053368},
  timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/b/TreharneDS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Walden98,
  author    = {Marina Wald{\'{e}}n},
  editor    = {Didier Bert},
  title     = {Layering Distributed Algorithms within the B-Method},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  pages     = {243--260},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053365},
  doi       = {10.1007/BFb0053365},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/b/Walden98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/b/1998,
  editor    = {Didier Bert},
  title     = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053349},
  doi       = {10.1007/BFb0053349},
  isbn      = {3-540-64405-9},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/b/1998.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics