Work

Verifying pointer programs using graph grammars

Year: 2013

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2013.11.012

Authors: Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2156041196

FWCI:

Cites: 19

Cited by: 7

Related to: 10