%0 Journal Article %1 journals/sosym/RodriguesDD19 %A Rodrigues, Vítor %A Donetti, Simone %A Damiani, Ferruccio %D 2019 %J Softw. Syst. Model. %K dblp %N 5 %P 2875-2906 %T Certifying delta-oriented programs. %U http://dblp.uni-trier.de/db/journals/sosym/sosym18.html#RodriguesDD19 %V 18

@article{journals/sosym/RodriguesDD19, added-at = {2020-09-18T00:00:00.000+0200}, author = {Rodrigues, Vítor and Donetti, Simone and Damiani, Ferruccio}, biburl = {https://www.bibsonomy.org/bibtex/2f583bb5dde1b56610225e6f656be390e/dblp}, ee = {https://doi.org/10.1007/s10270-018-00704-x}, interhash = {103c3390d7b80462710368dcd4218b15}, intrahash = {f583bb5dde1b56610225e6f656be390e}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 5, pages = {2875-2906}, timestamp = {2020-09-19T11:39:58.000+0200}, title = {Certifying delta-oriented programs.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym18.html#RodriguesDD19}, volume = 18, year = 2019 }