Work

Formal Synthesis of Digital Systems

Year: 1989

Type: conference-paper

Source: Kent Academic Repository (University of Kent)

Authors: Keith Hanna, Neil Daeche, Mark Longley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W64700003

FWCI: 2.132

Cites:

Cited by: 40

Related to: 10