Work

On the use of executable assertions in structured programs

Year: 1987

Type: article

Source: Journal of Systems and Software

DOI: 10.1016/0164-1212(87)90004-5

Authors: Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés

Institution: Tunis University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2077054936

FWCI: 0.638

Cites: 20

Cited by: 3

Related to: 10