Work

Transformational Implementation: An Example

Year: 1981

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.1981.230814

Author: R. Balzer

Institution: University of Southern California

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2094837773

FWCI: 18.68

Cites: 12

Cited by: 153

Related to: 10