@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 = "International Conference on Integrated Formal Methods, IFM ; Conference date: 11-10-2010 Through 14-10-2010",
}