%0 Journal Article %1 journals/ieiceta/ParkKPK02 %A Park, Chang-Jae %A Ki, Ando %A Park, In-Cheol %A Kyung, Chong-Min %D 2002 %J IEICE Trans. Fundam. Electron. Commun. Comput. Sci. %K dblp %N 12 %P 2645-2654 %T An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C. %U http://dblp.uni-trier.de/db/journals/ieiceta/ieiceta85.html#ParkKPK02 %V 85-A

@article{journals/ieiceta/ParkKPK02, added-at = {2021-06-09T00:00:00.000+0200}, author = {Park, Chang-Jae and Ki, Ando and Park, In-Cheol and Kyung, Chong-Min}, biburl = {https://www.bibsonomy.org/bibtex/24c5b8ab1eee30d73547df1353b46eb57/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e85-a_12_2645}, interhash = {3c7ec07327e5e33b60d8664e44abdf07}, intrahash = {4c5b8ab1eee30d73547df1353b46eb57}, journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.}, keywords = {dblp}, number = 12, pages = {2645-2654}, timestamp = {2024-04-08T16:11:52.000+0200}, title = {An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C.}, url = {http://dblp.uni-trier.de/db/journals/ieiceta/ieiceta85.html#ParkKPK02}, volume = {85-A}, year = 2002 }