Simple division example formal method

by Peter Harris on Sep 23, 2014