%0 Conference Paper %1 conf/icfem/Abrial07 %A Abrial, Jean-Raymond %B ICFEM %D 2007 %E Butler, Michael J. %E Hinchey, Michael G. %E Larrondo-Petrie, María M. %I Springer %K dblp %P 1-3 %T A System Development Process with Event-B and the Rodin Platform. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2007.html#Abrial07 %V 4789 %@ 978-3-540-76648-3

@inproceedings{conf/icfem/Abrial07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Abrial, Jean-Raymond}, biburl = {https://www.bibsonomy.org/bibtex/265ba17619fdc22f555d1f5920415ea7d/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2007}, editor = {Butler, Michael J. and Hinchey, Michael G. and Larrondo-Petrie, María M.}, ee = {https://doi.org/10.1007/978-3-540-76650-6_1}, interhash = {32311e7d43080d810d7dd0ffbb7ce680}, intrahash = {65ba17619fdc22f555d1f5920415ea7d}, isbn = {978-3-540-76648-3}, keywords = {dblp}, pages = {1-3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:21:24.000+0200}, title = {A System Development Process with Event-B and the Rodin Platform.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2007.html#Abrial07}, volume = 4789, year = 2007 }