Contract programming for code error reduction Grant US-8250524-B2 United States of America 21 Aug 2012