Work

Correct and Robust Programs

Year: 1984

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.1984.5010218

Author: Flaviu Cristian

Institution: IBM (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2126097181

FWCI: 9.716

Cites: 19

Cited by: 85

Related to: 10