Open Access System for Information Sharing

Login Library
BAE, KYUNGMIN(배경민) orcid scopus

Co-researchers

    Keyword

    Publication & Time Cited Count (For the Last 5 years)

    Results 1-3 of 3 (Search time: 0.0 seconds).

    Date issued

    Conference

    34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08

    Conference

    36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17

    Conference

    The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019-01-18

    1

    Browse