D Paola

DP

Statistics

Publications

1

Citations

41

H-Index

1

Active since

1998

Affiliations

D Paola is an author at Center for Inquiry specializing in model checking, formal methods, and computer science.

Publications per year

1998–1998

1

Publications

1