@inproceedings{937a23f83a6342cba2fe79f115c77d47,
title = "Supporting Formal Modelling in Event-B with Safety Cases",
author = "Iuliia Prokhorova and E Troubitsyna and Linas Laibinis",
year = "2013",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-952-12-2899-5",
pages = "–",
editor = "M Butler and S Hallerstede and M Wald{\'e}n",
booktitle = "Proceedings of the 4th Rodin User and Developer Workshop",
publisher = "Turku Centre for Computer Science",
note = "Rodin User and Developer Workshop ; Conference date: 10-06-2013 Through 11-06-2013",
}