Theorem Proving for Verification: The Early Days | IEEE Conference Publication | IEEE Xplore