Showing 1 - 1 results of 1 for search 'G. Birtwistle, P A Subrahmanian', זמן שאילתה: 0.01s Refine Results
  1. 1
    Current Trends In Hardware Verification And Automated Theorem Proving
    מאת G. Birtwistle, P A Subrahmanian
    יצא לאור 1989
    Printed Book
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל