SPARK Pro (Release 11) New Features

New Proof Statement: Assume

Part 4 in a series of 5 videos highlighting some of the new features of SPARK Pro (Release 11). This video features ‘New Proof Statement: Assume’.