Work

Predicate logic for software engineering

Year: 1993

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/32.241769

Author: D.L. Parnas

Institution: McMaster University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: U.S. Naval Research Laboratory

OpenAlex ID: W2111964583

FWCI: 9.019

Cites: 10

Cited by: 85

Related to: 10