%0 Conference Paper %1 conf/wadt/FarrellMP16 %A Farrell, Marie %A Monahan, Rosemary %A Power, James F. %B WADT %D 2016 %E James, Phillip %E Roggenbach, Markus %I Springer %K dblp %P 104-119 %T An Institution for Event-B. %U http://dblp.uni-trier.de/db/conf/wadt/wadt2016.html#FarrellMP16 %V 10644 %@ 978-3-319-72044-9

@inproceedings{conf/wadt/FarrellMP16, added-at = {2020-10-25T00:00:00.000+0200}, author = {Farrell, Marie and Monahan, Rosemary and Power, James F.}, biburl = {https://www.bibsonomy.org/bibtex/26b7e888710f29cd0b473a94e02d0d9df/dblp}, booktitle = {WADT}, crossref = {conf/wadt/2016}, editor = {James, Phillip and Roggenbach, Markus}, ee = {https://doi.org/10.1007/978-3-319-72044-9_8}, interhash = {db139a18414483962f7aa5bd4783f9a3}, intrahash = {6b7e888710f29cd0b473a94e02d0d9df}, isbn = {978-3-319-72044-9}, keywords = {dblp}, pages = {104-119}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:43:08.000+0200}, title = {An Institution for Event-B.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2016.html#FarrellMP16}, volume = 10644, year = 2016 }