Work

Formal Design Verification of Digital Systems

Year: 1983

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1109/dac.1983.1585653

Author: A.S. Wojcik

Institution: Illinois Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4250650403

FWCI: 2.293

Cites: 24

Cited by: 36

Related to: 10