Work

Stepwise software development with algebraic specifications

Year: 1991

Type: article

Source: Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)

Authors: Beierle, C., Voß, A.

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W186577657

FWCI:

Cites:

Cited by:

Related to: 10