معلومات
MP-SAVE: Multi-Paradigm Specification And Verification Environment
الإختصار
MP-SAVE
الفريق CFSC
http://misc-lab.org/fr/softwares/show/1
المساهمين
الكلمات المفتاحية
Modèles formels
الوصف
MP-SAVE