%0 Journal Article %1 journals/sigsoft/Xie0M13 %A Xie, Tao %A Zhang, Lu %A Mei, Hong %D 2013 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 27-33 %T Report on the international symposium on high confidence software (ISHCS 2011/2012). %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft38.html#Xie0M13 %V 38

@article{journals/sigsoft/Xie0M13, added-at = {2023-05-09T00:00:00.000+0200}, author = {Xie, Tao and Zhang, Lu and Mei, Hong}, biburl = {https://www.bibsonomy.org/bibtex/22f5b5b295f1519c30eb8d91575222078/dblp}, ee = {http://doi.acm.org/10.1145/2492248.2492282}, interhash = {c262490cab133d00dd1534b6e6db43c3}, intrahash = {2f5b5b295f1519c30eb8d91575222078}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = {27-33}, timestamp = {2024-04-08T18:56:55.000+0200}, title = {Report on the international symposium on high confidence software (ISHCS 2011/2012).}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft38.html#Xie0M13}, volume = 38, year = 2013 }