Part of the Computer Sciences Commons

Works by Varsha Awhad in Computer Sciences

2003

A unified formal specification and analysis of the new Java memory models, Varsha Awhad, Charles Wallace
Michigan Tech Publications

Link