%0 Journal Article %1 journals/scp/ZhangBCD06 %A Zhang, Hongyu %A Bradbury, Jeremy S. %A Cordy, James R. %A Dingel, Jürgen %D 2006 %J Sci. Comput. Program. %K dblp %N 3 %P 209-227 %T Using source transformation to test and model check implicit-invocation systems. %U http://dblp.uni-trier.de/db/journals/scp/scp62.html#ZhangBCD06 %V 62

@article{journals/scp/ZhangBCD06, added-at = {2021-02-17T00:00:00.000+0100}, author = {Zhang, Hongyu and Bradbury, Jeremy S. and Cordy, James R. and Dingel, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/288b495981a43c110d100a3bb91daf51f/dblp}, ee = {https://doi.org/10.1016/j.scico.2006.04.008}, interhash = {3839331a1211ce794353e500583269f3}, intrahash = {88b495981a43c110d100a3bb91daf51f}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 3, pages = {209-227}, timestamp = {2024-04-09T05:28:39.000+0200}, title = {Using source transformation to test and model check implicit-invocation systems.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp62.html#ZhangBCD06}, volume = 62, year = 2006 }