Concepedia

C. Neville Dean

CN

Statistics

Publications

1

Citations

20

H-Index

1

Active since

2001

Affiliations

Villanova University(Current)

C. Neville Dean is an author at Villanova University specializing in formal verification, software engineering, and formal methods.

Top concepts

Publications per year

2001–2001

1

Publications

1

Support for teaching formal methods

Vicki L. Almstrum, C. Neville Dean, Don Goelman et al. · ACM SIGCSE Bulletin · 2001 · 20 citations

, , +16

1–1 of 1