1
Publications
10
Citations
1
H-Index
2014
Active since
Ye Wint Maung Maung is an author specializing in formal methods, formal verification, and system software.
Top concepts
EngineeringSemantic WebFormal MethodsCloud ComputingSoftware DesignSystem SoftwareComputer ScienceDistributed SystemsFormal VerificationSystems Engineering
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1