adammb
bilang
metode formal pancen oye...
Ouw Yeah! 
adammb
bilang
ayo ikutan...
kyudaevinki
bilang
tentang apa kak?
adammb
bilang
membuat spesifikasi pembangunan perangkat lunak dalam formal language (model matematis)