3
Publications
37
Citations
3
H-Index
1966
Active since
Affiliations
Rudolph A. Krutar is an author at United States Naval Research Laboratory specializing in engineering, formal methods, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringSyntax
Publications per year
1966–1995
3
3
Rows per page
1–3 of 3