Korean | English

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

2020 KCI Impact Factor : 0.4
Home > Explore Content > All Issues > Article View
1 of 27

Deterministic Parallelism for Symbolic Execution Programs based on a Name-Freshness Monad Library

Journal of The Korea Society of Computer and Information
Abbr : JKSCI
2021, 26(2), pp.1-9
DOI :https://doi.org/10.9708/jksci.2021.26.02.001
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science

Ki Yung Ahn 1

1 한남대학교

등재

Statistics

icon 72 Viewed

Tools

icon Print this page

icon Download PDF

Search PDF

Close X