Concepedia

Author

Antal Spector-Zabusky

California University of PennsylvaniaORCID

Also Known As

ANTAL SPECTOR-ZABUSKY, Antal Spector-Zabusky, Spector-Zabusky, Antal

15

Publications

144

Citations

6

H-Index

29

Concepts

All Affiliations

California University of Pennsylvania
AS

About

Antal Spector-Zabusky is an author at California University of Pennsylvania specializing in formal verification, software analysis, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

118

2

Computer Science

4

4

118

3

Language Studies

1

1

35

4

Computer Engineering

1

1

51

5

Linguistics

1

1

35

Antal Spector-Zabusky

×

4

Publications

118

Citations

4

H-Index

YearCitations

Page 1