SP
S. P. Rahul
University of California System5
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)