Korean | English

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

2020 KCI Impact Factor : 0.4
Home > Explore Content > All Issues > Article View
7 of 20

Generating Verification Conditions from BIRS Code using Basic Paths for Java Bytecode Verification

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

김제민 1 Seontae Kim 2 PARK JOONSEOK 3 Weon Hee Yoo 4

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

등재

Statistics

icon113 Viewed

Tools

iconPrint this page

iconDownload PDF

Search PDF

Close X