학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 3건 | 목록 1~10
Report
EPTCS 310, 2019, pp. 13-28
Conference
Butterfield, Andrew (IRL-TCD-NDM) AMS Author Profile; Tuong, Frédéric (3-SFR-NDM) AMS Author Profile
Theories of programming and formal methods---essays dedicated to Jifeng He on the occasion of his 80th Birthday (20230101), 348-366.
검색 결과 제한하기
제한된 항목
[AR] Tuong, Frédéric
발행연도 제한
-
학술DB(Database Provider)
자료유형(Source Type)
주제어
언어