학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 6건 | 목록 1~10
Academic Journal
Proceedings of the ACM on Programming Languages. 3(OOPSLA):1-30
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11562 LNCS:231-241
Electronic Resource
Conference
Kukovec, Jure (A-TUWN-NDM) AMS Author Profile; Tran, Thanh-Hai (A-TUWN-NDM) AMS Author Profile; Konnov, Igor (A-TUWN-NDM) AMS Author Profile
Abstract state machines, Alloy, B, TLA, VDM, and Z (20180101), 89-104.
검색 결과 제한하기
제한된 항목
[AR] Kukovec, Jure
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어