%0 Journal Article %1 journals/tomacs/SottileDZHD15 %A Sottile, Matthew J. %A Dagit, Jason %A Zhang, Deli %A Hendry, Gilbert %A Dechev, Damian %D 2015 %J ACM Trans. Model. Comput. Simul. %K dblp %N 1 %P 4:1-4:24 %T Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons. %U http://dblp.uni-trier.de/db/journals/tomacs/tomacs26.html#SottileDZHD15 %V 26

@article{journals/tomacs/SottileDZHD15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sottile, Matthew J. and Dagit, Jason and Zhang, Deli and Hendry, Gilbert and Dechev, Damian}, biburl = {https://www.bibsonomy.org/bibtex/2298df7fb613e01d6df18c7d660c54d2e/dblp}, ee = {https://doi.org/10.1145/2778888}, interhash = {227fe2e698a5bd08e066c04b928c0de7}, intrahash = {298df7fb613e01d6df18c7d660c54d2e}, journal = {ACM Trans. Model. Comput. Simul.}, keywords = {dblp}, number = 1, pages = {4:1-4:24}, timestamp = {2018-11-07T11:50:58.000+0100}, title = {Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons.}, url = {http://dblp.uni-trier.de/db/journals/tomacs/tomacs26.html#SottileDZHD15}, volume = 26, year = 2015 }