Concepedia

Author

V. Dumortier

Universidad Politécnica de Madrid

Also Known As

V. Dumortier, Véronique Dumortier

4

Publications

78

Citations

2

H-Index

10

Concepts

All Affiliations

Universidad Politécnica de Madrid
VD

About

V. Dumortier is an author at Universidad Politécnica de Madrid specializing in logic programming, verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

67

2

Computer Science

1

1

67

3

Software Analysis

1

1

67

4

Answer Set Programming

1

1

67

5

Automated Reasoning

1

1

67

V. Dumortier

×

1

Publications

67

Citations

1

H-Index

YearCitations

Page 1