%0 Journal Article %1 journals/fac/ChaudhariD17 %A Chaudhari, Dipak L. %A Damani, Om P. %D 2017 %J Formal Aspects Comput. %K dblp %N 3 %P 495-530 %T Assumption propagation through annotated programs. %U http://dblp.uni-trier.de/db/journals/fac/fac29.html#ChaudhariD17 %V 29

@article{journals/fac/ChaudhariD17, added-at = {2022-05-09T00:00:00.000+0200}, author = {Chaudhari, Dipak L. and Damani, Om P.}, biburl = {https://www.bibsonomy.org/bibtex/22cd20e443dbc56664e80981666343d18/dblp}, ee = {https://doi.org/10.1007/s00165-016-0395-x}, interhash = {0a1ec1f65923acbd1870a455fac857fa}, intrahash = {2cd20e443dbc56664e80981666343d18}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 3, pages = {495-530}, timestamp = {2024-04-09T05:38:09.000+0200}, title = {Assumption propagation through annotated programs.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac29.html#ChaudhariD17}, volume = 29, year = 2017 }