खोज परिणाम - "Logics of programs."

  • प्रदर्शित 1 - 2 परिणाम 2
परिणाम को परिष्कृत करें
  1. 1

    Relational analysis of algebraic datatypes. द्वारा Kuncak, Viktor

    में प्रकाशित Software engineering notes.
    लेख


    कवर छवि
  2. 2

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. द्वारा Dingel, Juergen

    में प्रकाशित Software engineering notes.
    लेख


    कवर छवि

खोज साधन: