Books

Title : ّFormal methods in Software engineering: Specification and verfication Using Alloy modeling language
Published Date : 2024
Kind Compilation : Compilation
Publisher: Islamic Azad University Najafabad branch
Number of Pages: 228
Co-Authers : Shohreh Ajodanian
تصویر جلد کتاب