학술논문
'학술논문'
에서 검색결과 27건 | 목록
1~10
Conference
2022 29th Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2022 29th Asia-Pacific. :259-268 Dec, 2022
Report
Duret-Lutz, Alexandre; Renault, Etienne; Colange, Maximilien; Renkin, Florian; Gbaguidi, Alexandre; Schlehuber-Caissier, Philipp; Medioni, Thomas; Martin, Antoine; Dubois, Jérôme; Gillard, Clément; Lauko, Henrich
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
In Science of Computer Programming July 2024 235
Academic Journal
Constraints: An International Journal; Mar2023, Vol. 28 Issue 1, p45-66, 22p
Academic Journal
Academic Journal
Academic Journal
Innovations in Systems & Software Engineering; Jun2020, Vol. 16 Issue 2, p143-159, 17p
Book
Automated Technology for Verification & Analysis (9783319465197); 2016, p340-356, 17p
검색 결과 제한하기
제한된 항목
[AR] Renault, Etienne
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어