%0 Journal Article %1 journals/fac/ManoharL95 %A Manohar, Rajit %A Leino, K. Rustan M. %D 1995 %J Formal Aspects Comput. %K dblp %N 6 %P 683-703 %T Conditional Composition. %U http://dblp.uni-trier.de/db/journals/fac/fac7.html#ManoharL95 %V 7

@article{journals/fac/ManoharL95, added-at = {2022-05-09T00:00:00.000+0200}, author = {Manohar, Rajit and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2ec930d3977f2496f490a2fab03216e9f/dblp}, ee = {https://doi.org/10.1007/BF01211001}, interhash = {604cd4b2fcfe4c01efd73087b09b4d6d}, intrahash = {ec930d3977f2496f490a2fab03216e9f}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 6, pages = {683-703}, timestamp = {2024-04-09T05:37:05.000+0200}, title = {Conditional Composition.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac7.html#ManoharL95}, volume = 7, year = 1995 }