1 | Á¦¸ñ(Title) | Coq¿¡¼ÀÇ ½Ç½Ã°£ ºÐ»ê ½Ã½ºÅÛ °ËÁõÀ» À§ÇÑ ³×Æ®¿öÅ© ¹× ¿î¿µÃ¼Á¦ ÇൿÀÇ Á¤Çü ¸ðµ¨ Á¤ÀÇ | |
---|---|---|---|
ÀúÀÚ(Author) | ±èÀ±½Â ÇãÃæ±æ Yoonseung Kim Chung-Kil Hur | ||
¼ö·ÏÀú³Î(Journal) | Á¤º¸°úÇÐȸ³í¹®Áö | ||
¿ø¹®¼ö·Ïó(Citation) | VOL 47 NO. 11 PP. 1071 ~ 1077 2020. 11 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.