When is 'partial' adequate? A logic-based proof technique using partial specifications | IEEE Conference Publication | IEEE Xplore