Gia Septiana Wulandari
Graph Transformations
Semantics and Reasoning
Formal Verifications
Logics Optimization
About
New Member on CSWDA
0
Research Projects
0
Publications
Rp 0
Grant Total
Qualifications
0
Belum ada data kualifikasi.
Groups 1
Bidang Riset Hilir 3
Formal Method, Scalable Graph Computation
Top Collaborators
Belum ada rekan riset.
Research Projects 0
Tidak ada proyek riset.
Publications 0
Belum ada publikasi.