SP

S. P. Rahul

University of California System

5

Publications

1,090

Citations

4

h-index

3

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (4)
Book Chapter (1)

Filter by Open Access Type

Open Access (0)
Closed Access (5)

Filter by Authors

S. P. Rahul (5)
George C. Necula (5)
Scott McPeak (1)
Westley Weimer (1)

Filter by Topics

Logic, programming, and type systems (4)
Security and Verification in Computing (4)
Formal Methods in Verification (3)
Software Testing and Debugging Techniques (2)
Advanced Malware Detection Techniques (2)