University of California at Davis One Shields Avenue Davis CA 95616 USA

  1. Home
  2. search page
  3. affiliation

University of California at Davis One Shields Avenue Davis CA 95616 USA

국가: Austria
주요 연구 분야: Verification
주요 키워드: #technology #decades #2024
주요 저자:
#Raphaël Monat #Cindy Rubio-González

📄 기관 상세정보

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

논문 목록 (1건)

State of the art in program analysis
저자: Raphaël Monat , Cindy Rubio-González
키워드: #technology #decades #2024 #theoretical #extended
파트: Verification | 연도: 2025