Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Seshia, Sanjit A.', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Seshia, Sanjit A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Seshia, Sanjit A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email