default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/zum/zb2002.bht:"
download as .bib file
@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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Fri, 09 Apr 2021 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Mon, 05 Jun 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Mon, 05 Feb 2024 00:00:00 +0100},
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 = {Sun, 04 Aug 2024 01:00:00 +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 = {Sun, 21 May 2017 01:00:00 +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 = {Fri, 17 Feb 2023 00:00:00 +0100},
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}
}
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-11-03 00:27 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:
