%0 Conference Paper %1 conf/gski/ZengLG17 %A Zeng, Fuping %A Liu, Wenjing %A Gou, Xiaodong %B GSKI (2) %D 2017 %E Yuan, Hanning %E Geng, Jing %E Liu, Chuanlu %E Bian, Fuling %E Surapunt, Tisinee %I Springer %K dblp %P 294-304 %T Type Analysis and Automatic Static Detection of Infeasible Paths. %U http://dblp.uni-trier.de/db/conf/gski/gski2017-2.html#ZengLG17 %V 849 %@ 978-981-13-0896-3

@inproceedings{conf/gski/ZengLG17, added-at = {2018-06-24T00:00:00.000+0200}, author = {Zeng, Fuping and Liu, Wenjing and Gou, Xiaodong}, biburl = {https://www.bibsonomy.org/bibtex/223ccb95323fceee89522045363fc3650/dblp}, booktitle = {GSKI (2)}, crossref = {conf/gski/2017-2}, editor = {Yuan, Hanning and Geng, Jing and Liu, Chuanlu and Bian, Fuling and Surapunt, Tisinee}, ee = {https://doi.org/10.1007/978-981-13-0896-3_29}, interhash = {8928335a85e786c6e49f6d6aca953e23}, intrahash = {23ccb95323fceee89522045363fc3650}, isbn = {978-981-13-0896-3}, keywords = {dblp}, pages = {294-304}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2018-06-26T11:37:48.000+0200}, title = {Type Analysis and Automatic Static Detection of Infeasible Paths.}, url = {http://dblp.uni-trier.de/db/conf/gski/gski2017-2.html#ZengLG17}, volume = 849, year = 2017 }