অনুসন্ধান ফলাফলগুলি - "Mechanical verification."

  • প্রদর্শন 1 - 2 ফলাফল এর 2
ফলাফল পরিমার্জন করুন
  1. 1

    Relational analysis of algebraic datatypes. অনুযায়ী Kuncak, Viktor

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


    প্রচ্ছদ
  2. 2

    Interface automata. অনুযায়ী De Alfaro, Luca

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


    প্রচ্ছদ

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