Work

Formal Methods and VLSI Engineering Practice

Year: 1994

Type: article

Source: The Computer Journal

DOI: 10.1093/comjnl/37.2.96

Author: V. Stavridou

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W2147604789

FWCI: 1.01

Cites:

Cited by: 3

Related to: 10