Lock inference for systems software
John Regehr, Alastair D. Reid[Google Scholar] [DBLP] [Citeseer]
Proceedings of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS)
Boston, MA, USA
17 March 2003
Note(s): operating systems
Boston, MA, USA
17 March 2003
Note(s): operating systems