%0 Journal Article %1 journals/fac/ButlerY08 %A Butler, Michael J. %A Yadav, Divakar %D 2008 %J Formal Asp. Comput. %K %N 1 %P 61-77 %T An incremental development of the Mondex system in Event-B. %U http://dblp.uni-trier.de/db/journals/fac/fac20.html#ButlerY08 %V 20

@article{journals/fac/ButlerY08, added-at = {2023-12-12T20:21:40.000+0100}, author = {Butler, Michael J. and Yadav, Divakar}, biburl = {https://www.bibsonomy.org/bibtex/269c2d382ef4821b0bcee7c049a2dd164/admin}, ee = {https://www.wikidata.org/entity/Q59625970}, interhash = {2e25bcb520c396d6e7d02c1a543ae413}, intrahash = {69c2d382ef4821b0bcee7c049a2dd164}, journal = {Formal Asp. Comput.}, keywords = {}, number = 1, pages = {61-77}, timestamp = {2023-12-12T20:21:40.000+0100}, title = {An incremental development of the Mondex system in Event-B.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac20.html#ButlerY08}, volume = 20, year = 2008 }