Work

Computer-Aided Reasoning

Year: 2000

Type: book

Source: Advances in formal methods

DOI: 10.1007/978-1-4615-4449-4

Authors: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore

Institutions: Advanced Micro Devices (United States), The University of Texas at Austin

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4300934094

FWCI: 1.876

Cites:

Cited by: 152

Related to: 10