Work

Symbolic Computation and Automated Reasoning for Program Analysis

Year: 2016

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-33693-0_2

Author: Laura Kovács

Institutions: TU Wien, Chalmers University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2494123147

FWCI: 1.089

Cites: 27

Cited by: 10

Related to: 10