Joel D. Galenson, Ph.D. - Publications
Affiliations: | 2014 | Computer Science | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)Year | Citation | Score | |||
---|---|---|---|---|---|
Show low-probability matches. |