Yellamraju V. Srinivas is an author at Kestrel Institute specializing in software systems, system software, and software visualization.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware SystemsSoftware AnalysisSystem-level DesignFormal Specification
Publications per year
2002–2002
1
1
Diagrams for software synthesis
Richard Jüllig, Yellamraju V. Srinivas · 2002 · 23 citations
Rows per page
1–1 of 1