I.S.W.B. Prasetya
Teori komposisi komponen
Fakultas Ilmu Komputer Universitas Indonesia, 2001
Artikel Jurnal
Sebuah framework untuk mekanisasi multi logika I.S.W.B. Prasetya, A. Azurat dan S.D. Swierstra
Artikel Jurnal
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Artikel Jurnal
Mechanizing logic in an aspect oriented attribute grammar system A. Azurat, I.S.W.B. Prasetya dan S.D. Swierstra
Artikel Jurnal
Akses dan pemanfaatan E-learning di Universitas Terbuka Tian Belawati
Artikel Jurnal