Simula Research Laboratory Oslo Norway and Computer Science Oslo Metropolitan University Oslo Norway


국가: Andorra

주요 연구 분야: Verification



📄 기관 상세정보

출판수1
총 인용수2
평균 인용수2.00
저자 수4
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)


Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
키워드: #algorithm #computing #quantum #polynomial #speedups
파트: Verification | 연도: 2025