Work

Applying formal software synthesis

Year: 1993

Type: article

Source: IEEE Software

DOI: 10.1109/52.210596

Author: R.K. Jullig

Institution: Kestrel Institute

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2053344396

FWCI: 6.019

Cites: 7

Cited by: 22

Related to: 10