default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/zum/zb2005.bht:"
download as .bib file
@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 = {Mon, 05 Jun 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 04 Aug 2024 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 04 Aug 2024 01:00:00 +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 = {Sun, 02 Oct 2022 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 25 Jul 2021 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Mon, 05 Jun 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 04 Aug 2024 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Mon, 05 Feb 2024 00:00:00 +0100},
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 = {Sun, 21 May 2017 01:00:00 +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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-20 06:41 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
