Open Access System for Information Sharing

Login Library
검색

  OASIS Repository@POSTECHLIBRARY

Browsing "2. Conference Papers" by  JournalPOPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

전체 가 나 다 라 마 바 사 아 자 차 카 타 파 하
All 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:
Showing results 1 to 1 of 1
Conference
A Proof System for Separation Logic with Magic Wand

POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014-01-23

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