Work

Integrating Programming, Properties, and Validation

Year: 2000

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/10722010_1

Author: Mark P. Jones

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1519281725

FWCI:

Cites:

Cited by: 3

Related to: 10