Work

Strongest invariant functions: Their use in the systematic analysis of while statements

Year: 1985

Type: article

Source: Acta Informatica

DOI: 10.1007/bf00290145

Authors: Ali Mili, Jules Desharnais, Jean -Raymond Gagn�

Institutions: Tunis University, Université Laval

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2012895643

FWCI:

Cites: 17

Cited by: 22

Related to: 10