Work

Building program models incrementally from informal descriptions

Year: 1979

Type: article

Source: Defense Technical Information Center (DTIC)

Author: Brian P. McCune

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1528423264

FWCI: 1.724

Cites:

Cited by: 7

Related to: 10