Part of the Physical Sciences and Mathematics Commons

Works by Varsha Awhad in Physical Sciences and Mathematics

2003

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