Verifying micro-actions – how precise do we need to be?

Posted by on Nov 13, 2012