Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση 'Rajamani, Sriram K', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    ανά Leavens, Gary T
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Rajamani, Sriram K…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email