
Judul	Verifikasi pemrograman graf dengan Isabelle/HOL
Tahun	2021
Ketua	GIA
Penulis	AHY
Jenis	Internal
Status	Didanai
Nama Kegiatan	PERIODE 2 2021, SKEMA PENELITIAN DASAR DAN TERAPAN
Lab Riset	COMPUTING
Mitra
Kesesuaian Roadmap	trustworthy AI
Luaran
Rekomendasi	topik penelitian sesuai dengan cakupan topik pada roadmap penelitian KK
Mata Kuliah Relevan	Representasi Pengetahuan, Ilmu Jejaring
Tanggal Pengesahan	28 September 2021