ericmercer/anderson-peter
Public repository.
Formal semantics and properties of the Habanero concurrency language
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Verification techniques for Conceptual Work Products
General area for radha
Framework to model and measure workload in human-machine systems.