Work

Characteristic formulae for the verification of imperative programs

Year: 2011

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/2034574.2034828

Author: Arthur Charguéraud

Institutions: Max Planck Society, Max Planck Institute for Software Systems

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1967019306

FWCI: 10.52

Cites: 40

Cited by: 69

Related to: 10