%0 Journal Article %1 journals/corr/Gibson16 %A Gibson, Paul %D 2016 %J CoRR %K dblp %T When Students Choose to Use Event-B in their Software Engineering Projects. %U http://dblp.uni-trier.de/db/journals/corr/corr1611.html#Gibson16 %V abs/1611.10160

@article{journals/corr/Gibson16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Gibson, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2a52cb83aa6281333f338b503a6c832d1/dblp}, ee = {http://arxiv.org/abs/1611.10160}, interhash = {08e5c02a12c95ab244e7d397155a0b50}, intrahash = {a52cb83aa6281333f338b503a6c832d1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:10:00.000+0200}, title = {When Students Choose to Use Event-B in their Software Engineering Projects.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1611.html#Gibson16}, volume = {abs/1611.10160}, year = 2016 }