학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 1~10
Report
Logical Methods in Computer Science, Volume 19, Issue 2 (June 7, 2023) lmcs:10384
Conference
Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems. :1-9
Academic Journal
Ada User Journal. Mar2023, Vol. 44 Issue 1, p59-62. 4p.
Conference
Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :22-34
Academic Journal
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-36, 36p
Conference
Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. :1-9
Conference
Bordis, Tabea (D-KIT-NDM) AMS Author Profile; Cleophas, Loek (NL-EIND-NDM) AMS Author Profile; Kittelmann, Alexander (D-KIT-NDM) AMS Author Profile; Runge, Tobias (D-KIT-NDM) AMS Author Profile; Schaefer, Ina (D-KIT-NDM) AMS Author Profile; Watson, Bruce W. (SA-STEL-NDM) AMS Author Profile
The logic of software---a tasting menu of formal methods (20220101), 80-104.
검색 결과 제한하기
제한된 항목
[AR] Bordis, Tabea
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어