{"identifier":"nobleid:/w1/20260521/B2003DFD","arkIdentifier":"ark:/48914/w1/20260521/B2003DFD","version":1,"workTitle":"Static ownership inference for reasoning against concurrency errors","workType":"Journal Article","authors":"Ana Milanova, Yin Liu","description":null,"workUrl":null,"existingDoi":"10.1109/icse-companion.2009.5071001","createdAt":"2026-05-21T16:06:17.520196Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/B2003DFD.v1"}