Revisi per 22 Mei 2010 10.51 sunting Loveless (bicara \| kontrib) 28.689 suntingan k bot Menambah: es, fa, lt, ms, nl, zh ← Revisi sebelumnya		Revisi per 12 Agustus 2011 22.45 sunting balikkan ZéroBot (bicara \| kontrib) Bot 69.750 suntingan k r2.7.1) (bot Menambah: ru:Формальные методы Revisi selanjutnya →
Baris 18: [[pl:Metody formalne]] [[pt:Métodos formais]] [[ru:Формальные методы]] [[uk:Формальні методи]] [[vi:Các phương pháp hình thức]]

Metode formal: Perbedaan antara revisi