Work

Invariant relations, invariant functions, and loop functions

Year: 2012

Type: article

Source: Innovations in Systems and Software Engineering

DOI: 10.1007/s11334-012-0189-0

Authors: Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili

Institution: New Jersey Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2002298564

FWCI: 0.617

Cites: 43

Cited by: 4

Related to: 10