Iovka Boneva

IB

7

Publications

216

Citations

7

H-Index

2004

Active since

Iovka Boneva is an author at Universidad de Oviedo specializing in engineering, automated reasoning, and formal verification.

Publications per year

2004–2020

7

Publications

7