%0 Journal Article %1 journals/fac/LinBGM19 %A Lin, Yuhui %A Bundy, Alan %A Grov, Gudmund %A Maclean, Ewen %D 2019 %J Formal Aspects Comput. %K dblp %N 1 %P 95-129 %T Automating Event-B invariant proofs by rippling and proof patching. %U http://dblp.uni-trier.de/db/journals/fac/fac31.html#LinBGM19 %V 31

@article{journals/fac/LinBGM19, added-at = {2023-08-28T00:00:00.000+0200}, author = {Lin, Yuhui and Bundy, Alan and Grov, Gudmund and Maclean, Ewen}, biburl = {https://www.bibsonomy.org/bibtex/2ea7f0ad713a9a70ea186aae9aaa359d7/dblp}, ee = {https://www.wikidata.org/entity/Q113906136}, interhash = {fff365e4978f1f87616e45a9d9f3e85e}, intrahash = {ea7f0ad713a9a70ea186aae9aaa359d7}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = {95-129}, timestamp = {2024-04-09T05:37:30.000+0200}, title = {Automating Event-B invariant proofs by rippling and proof patching.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac31.html#LinBGM19}, volume = 31, year = 2019 }