Creating Sequential Programs from Event-B Models

Pontus Boström

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

8 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Integrated Formal Methods: 8th International Conference (IFM2010)
Editors	D Méry, S Merz
Publisher	Springer
Pages	74–88
ISBN (Electronic)	978-3-642-16265-7
ISBN (Print)	978-3-642-16264-0
DOIs	https://doi.org/10.1007/978-3-642-16265-7_7
Publication status	Published - 2010
MoE publication type	A4 Article in a conference publication
Event	International Conference on Integrated Formal Methods, IFM - 8th International Conference on Integrated Formal Methods, IFM 2010 Duration: 11 Oct 2010 → 14 Oct 2010

Conference	International Conference on Integrated Formal Methods, IFM
Period	11/10/10 → 14/10/10

Access to Document

@inproceedings{6ac13501de7148dc8546433c485ac4f1,

title = "Creating Sequential Programs from Event-B Models",

author = "Pontus Bostr{\"o}m",

year = "2010",

doi = "10.1007/978-3-642-16265-7_7",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-16264-0",

pages = "74–88",

editor = "D M{\'e}ry and S Merz",

booktitle = "Integrated Formal Methods: 8th International Conference (IFM2010)",

publisher = "Springer",

note = "null ; Conference date: 11-10-2010 Through 14-10-2010",

}

TY - GEN

T1 - Creating Sequential Programs from Event-B Models

AU - Boström, Pontus

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-16265-7_7

DO - 10.1007/978-3-642-16265-7_7

M3 - Konferensbidrag

SN - 978-3-642-16264-0

SP - 74

EP - 88

BT - Integrated Formal Methods: 8th International Conference (IFM2010)

A2 - Méry, D

A2 - Merz, S

PB - Springer

Y2 - 11 October 2010 through 14 October 2010

ER -