Work

Using Nuprl for the verification and synthesis of hardware

Year: 1992

Type: article

Source: Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences

DOI: 10.1098/rsta.1992.0025

Author: Miriam Leeser

Institution: Cornell University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1560390462

FWCI: 3.761

Cites: 22

Cited by: 16

Related to: 10