Concepedia

Author

Augusto Parma

Also Known As

Augusto Parma

3

Publications

131

Citations

2

H-Index

5

Concepts

All Affiliations

AP

About

Augusto Parma is an author at University of Oxford specializing in semantics, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

60

2

Computer Science

1

1

60

3

Semantics

1

1

60

4

Automated Reasoning

1

1

60

5

Formal Methods

1

1

60

Augusto Parma

×

1

Publications

60

Citations

1

H-Index

YearCitations

Page 1