Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Lecture at École Jeunes Chercheurs en Programmation (EJCP) 2014 Programming and Proving: Practice with FoCaLiZe

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • المصدر:
    http://focalize.inria.fr/documentation/ejcp2014notes.pdf.
  • الموضوع:
    1.4 Plan of the Lecture. 6
  • نوع التسجيلة:
    text
  • اللغة:
    English
  • معلومة اضافية
    • Contributors:
      The Pennsylvania State University CiteSeerX Archives
    • الموضوع:
      2014
    • Collection:
      CiteSeerX
    • File Description:
      application/pdf
    • Relation:
      http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.243; http://focalize.inria.fr/documentation/ejcp2014notes.pdf
    • الدخول الالكتروني :
      http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.243
      http://focalize.inria.fr/documentation/ejcp2014notes.pdf
    • Rights:
      Metadata may be used without restrictions as long as the oai identifier remains attached to it.
    • الرقم المعرف:
      edsbas.4A298F32