Dasturlarni tekshirishning formal usullari Mavzu: Ketma-ket dasturlarni deduktiv tekshirish
Rasmda raqamlar kiriting: