%0 Conference Paper %1 conf/ifm/ArenasABW10 %A Arenas, Alvaro E. %A Aziz, Benjamin %A Bicarregui, Juan %A Wilson, Michael D. %B IFM %D 2010 %E Méry, Dominique %E Merz, Stephan %I Springer %K dblp %P 28-42 %T An Event-B Approach to Data Sharing Agreements. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html#ArenasABW10 %V 6396 %@ 978-3-642-16264-0

@inproceedings{conf/ifm/ArenasABW10, added-at = {2017-06-04T00:00:00.000+0200}, author = {Arenas, Alvaro E. and Aziz, Benjamin and Bicarregui, Juan and Wilson, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/2b44886ffa1ce184dea5eff53afb2f492/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2010}, editor = {Méry, Dominique and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-642-16265-7_4}, interhash = {a926f66e79baa1552d69f86f72d0cf74}, intrahash = {b44886ffa1ce184dea5eff53afb2f492}, isbn = {978-3-642-16264-0}, keywords = {dblp}, pages = {28-42}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:38.000+0200}, title = {An Event-B Approach to Data Sharing Agreements.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html#ArenasABW10}, volume = 6396, year = 2010 }