Concepedia

Author

P.L. Frabetti

Also Known As

Britvich, G I, Eroshin, O.V., Frabetti, Pierluigi, P.L. Frabetti, Pierluigi Frabetti, Stoyanova, D.A.

33

Publications

121

Citations

5

H-Index

9

Concepts

PF

About

P.L. Frabetti is an author specializing in logic programming, formal methods, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

43

2

Computer Science

1

1

43

3

Software Analysis

1

1

43

4

Automated Reasoning

1

1

43

5

Formal Methods

1

1

43

P.L. Frabetti

×

2

Publications

53

Citations

2

H-Index

YearCitations

Page 1