Korean | English

pISSN : 1598-849X / eISSN : 2383-9945

2020 KCI Impact Factor : 0.4
Home > Explore Content > All Issues > Article View
3 of 18

Visualization of Verification Condition by GML file

Journal of The Korea Society of Computer and Information
Abbr : JKSCI
2012, 17(7), pp.23-32
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science

허혜림 1 김제민 2 PARK JOONSEOK 3 Weon Hee Yoo 4

1인하대학교
2인하대학교
3인하대학교
4인하대학교

등재

Statistics

icon110 Viewed

Tools

iconPrint this page

iconDownload PDF

Search PDF

Close X