
Judul	Verifying Graph Programs with First-Order Logic
Tahun	2020
Semua Penulis	GS Wulandari, D Plump
Penulis	GIA
Jurnal	Proc. Graph Computation Models 2020, Electronic Proceedings in Theoretical Computer Science volume 330, pages 181-200.
Peringkat Jurnal	scopus
Jenis	Prosiding Internasional
Lab Riset	COMPUTING
Mitra	University of York, UK