%0 Conference Paper %1 conf/aplas/KangKHH05 %A Kang, Hyun-Goo %A Kim, Youil %A Han, Taisook %A Han, Hwansoo %B APLAS %D 2005 %E Yi, Kwangkeun %I Springer %K dblp %P 264-280 %T A Path Sensitive Type System for Resource Usage Verification of C Like Languages. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2005.html#KangKHH05 %V 3780 %@ 3-540-29735-9

@inproceedings{conf/aplas/KangKHH05, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kang, Hyun-Goo and Kim, Youil and Han, Taisook and Han, Hwansoo}, biburl = {https://www.bibsonomy.org/bibtex/254c44ea164e4a2ebe5fa9b1b296a7299/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2005}, editor = {Yi, Kwangkeun}, ee = {https://doi.org/10.1007/11575467_18}, interhash = {2d7c37f90a4c7aff946c04ec4afd3e56}, intrahash = {54c44ea164e4a2ebe5fa9b1b296a7299}, isbn = {3-540-29735-9}, keywords = {dblp}, pages = {264-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:41:50.000+0200}, title = {A Path Sensitive Type System for Resource Usage Verification of C Like Languages.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2005.html#KangKHH05}, volume = 3780, year = 2005 }