학술논문
'학술논문'
에서 검색결과 444건 | 목록
1~10
Report
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 6
Academic Journal
Uhrmacher, Adelinde M; Frazier, Peter; Hähnle, Reiner; Klügl, Franziska; Lorig, Fabian; Ludäscher, Bertram; Nenzi, Laura; Ruiz-Martin, Cristina; Rumpe, Bernhard; Szabo, Claudia; Wainer, Gabriel; Wilsdorf, Pia
ACM Transactions on Modeling and Computer Simulation. 34(4):1-51
Academic Journal
Din, Crystal Chang; Hähnle, Reiner; Henrio, Ludovic; Johnsen, Einar Broch; Pun, Violet Ka I; Tarifa, S. Lizeth Tapia
ACM Transactions on Programming Languages and Systems. 46(1):1-58
Conference
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering. :34-45
검색 결과 제한하기
제한된 항목
[검색어] Hähnle, Reiner
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어