Bernardo, MarcoCimatti, Alessandro2019-01-092024-06-282019-01-092024-06-282006978-3-540-34304-2https://drs.ess.gov.et/handle/123456789/34148enFormal Methods for Hardware VerificationBook