Work

Proof-Carrying Code. Design and Implementation

Year: 2002

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-94-010-0413-8_8

Author: George C. Necula

Institution: University of California, Berkeley

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2232440662

FWCI: 3.247

Cites: 14

Cited by: 27

Related to: 10