Statistics
Publications
1
Citations
379
H-Index
1
Active since
1971
Affiliations
Edward Shaughnessy is an author at University of California, Los Angeles specializing in deductive verification, computer architecture, and functional verification.
Publications per year
1971–1971
1
1
1–1 of 1