학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 35건 | 목록 1~10
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 8 June 2021, 43(2))
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, May 2017, 39(2))
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, January 2017, 52(1):3-18)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, July 2014, 36(2))
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, October 2012, 41(2):178-210)
Academic Journal
In: Formal Methods in System Design, Special issue on Computer Aided Verification (CAV'10). (Formal Methods in System Design, April 2012, 40(2):170-205)
Conference
In: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, 19 March 2018, :405-418)
Conference
In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. (Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017, 8 November 2017, :6)
검색 결과 제한하기
제한된 항목
[AR] Alglave, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어