1
Publications
67
Citations
1
H-Index
1994
Active since
R. Calkin is an author specializing in software analysis, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringParallel ProgrammingComputer Architecture
Publications per year
1994–1994
1
1
Rows per page
1–1 of 1