Byron L. Long, Ph.D.
Affiliations: | 2009 | Computer Sciences | Indiana University, Bloomington, Bloomington, IN, United States |
Area:
Computer ScienceGoogle:
"Byron Long"Parents
Sign in to add mentor| Daniel M. Leivant | grad student | 2009 | Indiana University | |
| (Validity in a variant of separation logic.) | ||||