Work

Specification and Implementation

Year: 2019

Type: book-chapter

Source: Oxford University Press eBooks

DOI: 10.1093/oso/9780198835646.003.0011

Author: Giuseppe Primiero

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3044930622

FWCI:

Cites:

Cited by: 1

Related to: 10