Computer Aided Verification
type: Item
instance of: scholarly article
title: Computer Aided Verification
zbMATH Open document ID: 1103.68625
author: Hoonsang Jin
author: Mohammad Awedh
author: Fabio Somenzi
published in: Lecture Notes in Computer Science
publication date: 2005-08-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2199328
describes a project that uses: SATO
describes a project that uses: SATIRE
describes a project that uses: Chaff
describes a project that uses: BerkMin
MaRDI profile type: Publication
full work available at URL: b98490
OpenAlex ID: W4298302743
DOI: 10.1007/B98490
description: scientific article; zbMATH DE number 2199328