Work

A Proof of Correctness of the Viper Microprocessor: The First Level

Year: 1988

Type: book-chapter

Source: Kluwer international series in engineering and computer science

DOI: 10.1007/978-1-4613-2007-4_2

Author: Avra Cohn

Institution: University of Cambridge

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1518675260

FWCI: 66.19

Cites: 11

Cited by: 144

Related to: 10