M. N. Muralidharan is an author at University of Kentucky specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1984–1987
2
2
Rows per page
1–2 of 2