1
Publications
287
Citations
1
H-Index
1989
Active since
Affiliations
University of California, Berkeley(Current)
S. Kanna is an author at University of California, Berkeley specializing in software maintenance, program analysis, and software testing.
Top concepts
DesignEngineeringCryptographyVerificationData SecurityFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware Testing
Publications per year
1989–1989
1
1
Designing programs that check their work
Manuel Blum, S. Kanna · 1989 · 287 citations
Rows per page
1–1 of 1