Work

The correctness problem in computer science

Year: 1983

Type: book-review

Source: Mathematics and Computers in Simulation

DOI: 10.1016/0378-4754(83)90038-1

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1567452806

Cites:

Cited by: 356

Related to: 9