Revisi per 3 September 2007 13.53 sunting Kincir Angin (bicara \| kontrib) 96 suntingan k -spasi ← Revisi sebelumnya		Revisi per 14 Februari 2008 16.00 sunting balikkan Borgxbot (bicara \| kontrib) 259.487 suntingan k Robot: Cosmetic changes Revisi selanjutnya →
Baris 13: [[pl:Metody formalne]] [[pt:Métodos formais]] [[vi:Các phương pháp hình thức]]▼ [[uk:Формальні методи]] ▲[[vi:Các phương pháp hình thức]]

Metode formal: Perbedaan antara revisi