Work

Aspect: detecting bugs with abstract dependences

Year: 1995

Type: article

Source: ACM Transactions on Software Engineering and Methodology

DOI: 10.1145/210134.210135

Author: Daniel Jackson

Institution: Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2073241739

FWCI: 2.854

Cites: 42

Cited by: 84

Related to: 10