Keterangan Publikasi
| Judul | Verifying graph programs with monadic second-order logic |
| Tahun | 2021 |
| Semua Penulis | Gia S Wulandari, Detlef Plump |
| Penulis | GIA |
| Jurnal | The 14th International Conference on Graph Transformation (ICGT 2021) |
| Peringkat Jurnal | scopus |
| Jenis | Prosiding Internasional |
| Lab Riset | COMPUTING |
| Mitra | University of York |