Work

Projecting programs on specifications: Definition and implications

Year: 2017

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2016.11.006

Authors: Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili

Institutions: Université Laval, New Jersey Institute of Technology, Tunis University, Tunis El Manar University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2584896789

FWCI: 0.163

Cites: 21

Cited by: 2

Related to: 10