Open Access System for Information Sharing

Login Library
검색

  Browse by Researchers
()
Department
Major(s)
-

Co-researchers

    Keyword

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

    Results 1-2 of 2 (Search time: 0.001 seconds).
    Export

    Date issued

    Type

    Journal Registered

    Applied search limites :
    Subject : VERIFICATION
    Article
    A Proof System for Separation Logic with Magic WandSCIESCOPUS

    SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01

    Article
    A Theorem Prover for Boolean BISCIESCOPUS

    ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01

    1
    개인정보처리방침 Personal Information Protection Policy

    library@postech.ac.kr Tel: 054-279-2548

    Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.

    Browse

    Login Library Help