%0 Journal Article %1 journals/scp/MousaviP14 %A Mousavi, Mohammad Reza %A Pang, Jun %D 2014 %J Sci. Comput. Program. %K dblp %P 273-274 %T Special section on Software Verification and Testing. %U http://dblp.uni-trier.de/db/journals/scp/scp95.html#MousaviP14 %V 95

@article{journals/scp/MousaviP14, added-at = {2021-02-17T00:00:00.000+0100}, author = {Mousavi, Mohammad Reza and Pang, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2c5fc60d6195f0e600bc4b4ba229b14ba/dblp}, ee = {https://www.wikidata.org/entity/Q57745509}, interhash = {037631ed155047af7f2ebb409bafb23b}, intrahash = {c5fc60d6195f0e600bc4b4ba229b14ba}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {273-274}, timestamp = {2024-04-09T05:29:52.000+0200}, title = {Special section on Software Verification and Testing.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp95.html#MousaviP14}, volume = 95, year = 2014 }