প্রদর্শন 1 - 1 ফলাফল এর 1 অনুসন্ধানের জন্য 'Coen-Porisini, Alberto', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Using symbolic execution for verifying safety-critical systems. অনুযায়ী Coen-Porisini, Alberto

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Using symbolic execution for verifying safety-critical systems.

অনুসন্ধান সাধনীগুলি: