يعرض 21 - 30 نتائج من 69 نتيجة بحث عن '"Program verification."', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 21
  2. 22
  3. 23

    Engineering distributed software a structural discipline. حسب Kramer, Jeff

    الحاوية / القاعدة Software engineering notes.
    مقال
  4. 24

    Permissive interfaces. حسب Henzinger, Thomas A.

    الحاوية / القاعدة Software engineering notes.
    مقال
  5. 25

    Fluent temporal logic for discrete-time event-based models. حسب Letier, Emmanuel

    الحاوية / القاعدة Software engineering notes.
    مقال
  6. 26
  7. 27

    Context- and path-sensitive memory leak detection. حسب Xie, Yichen

    الحاوية / القاعدة Software engineering notes.
    مقال
  8. 28

    Relational analysis of algebraic datatypes. حسب Kuncak, Viktor

    الحاوية / القاعدة Software engineering notes.
    مقال
  9. 29

    Lightweight object specification with typestates. حسب Bierhoff, Kevin

    الحاوية / القاعدة Software engineering notes.
    مقال
  10. 30

    Joining dataflow with predicates. حسب Fischer, Jeffrey

    الحاوية / القاعدة Software engineering notes.
    مقال