Deskripsi Mata Kuliah:

Pada mata kuliah ini mahasiswa akan diperkenalkan paradigma formal pada analisis, perancangan, dan pengujian perangkat lunak serta penerapannya pada kondisi pengembangan yang kritis.