Copy-on-write optimization of immutable objects for objects oriented languages Grant US-8281293-B2 United States of America 02 Oct 2012
Template based approach to discovering disjunctive and quantified invariants over… Grant US-8271404-B2 United States of America 18 Sep 2012