DBC Wednesday, March 12, 2003 "Is anyone employing XC# and/or formal DBC methods in their work?"[Chad Osgood] Check out what Clemens is working on.