Work

Systematic parallel programming (formal program development)

Year: 2000

Type: article

Authors: Juergen Dingel, Stephen Brookes

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2470267985

FWCI: 0.629

Cites:

Cited by: 5

Related to: 10