Iliana M. Petrova

IM

Statistics

Publications

2

Citations

114

H-Index

2

Active since

2015

Iliana M. Petrova is an author at University of Naples Federico II specializing in automated reasoning, formal methods, and engineering.

Publications per year

2015–2020

2

Publications

2