%0 Journal Article %1 journals/scp/CodescuMST17 %A Codescu, Mihai %A Mossakowski, Till %A Sannella, Donald %A Tarlecki, Andrzej %D 2017 %J Sci. Comput. Program. %K dblp %P 1-49 %T Specification refinements: Calculi, tools, and applications. %U http://dblp.uni-trier.de/db/journals/scp/scp144.html#CodescuMST17 %V 144

@article{journals/scp/CodescuMST17, added-at = {2018-11-30T00:00:00.000+0100}, author = {Codescu, Mihai and Mossakowski, Till and Sannella, Donald and Tarlecki, Andrzej}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/272ab8c87121518cc45e41b566e0735d4/dblp}, ee = {https://doi.org/10.1016/j.scico.2017.04.005}, interhash = {70b666e1d31aa3feaadb340c48f201ce}, intrahash = {72ab8c87121518cc45e41b566e0735d4}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {1-49}, timestamp = {2019-09-27T11:44:31.000+0200}, title = {Specification refinements: Calculi, tools, and applications.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp144.html#CodescuMST17}, volume = 144, year = 2017 }