تگ: اثبات صحت نرم‌افزار

کتاب توسعه نرم‌افزار دقیق: اصول و تکنیک‌های اثبات‌شده از Rigorous Software Development