Luigi degli Esposti

LD

Statistics

Publications

1

Citations

43

H-Index

1

Active since

1999

Luigi degli Esposti is an author specializing in logic programming, formal methods, and verification.

Publications per year

1999–1999

1

Publications

1