Guodong Li, Ph.D.
Affiliations: | 2010 | School of Computing | University of Utah, Salt Lake City, UT |
Area:
Computer ScienceGoogle:
"Guodong Li"Parents
Sign in to add mentorGanesh Gopalakrishnan | grad student | 2010 | University of Utah | |
(Formal verification of programs and their transformations.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Li G, Palmer R, Delisi M, et al. (2011) Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API Science of Computer Programming. 76: 65-81 |