학술논문
'학술논문'
에서 검색결과 1건 | 목록
1~10
Conference
De Almeida Borges, A.; González Bedmar, M.; Conejero Rodríguez, J.; Hermo Reyes, E.; Casals Buñuel, J.; Joosten, J.
In: CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 , CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 9 January 2024, :2-13)
검색 결과 제한하기
제한된 항목
[AR] Conejero Rodríguez, J.
발행연도 제한
-
학술DB(Database Provider)
자료유형(Source Type)
언어