PIRANTI LUNAK UNTUK MENDESAIN PROGRAM DALAM BAHASA PEMROGRAMAN C BERDASARKAN HOARE LOGIC - Aribowo, Arnold (Jurusan Teknik Informatika, 2015)