F. W. von Henke is an author at Stanford University specializing in software engineering, program analysis, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware EngineeringFormal MethodsSystem SoftwareSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1975–1985
3
3
An Overview of Anna, a Specification Language for Ada
D Luckham, F. W. von Henke · IEEE Software · 1985 · 222 citations
A methodology for verifying programs
F. W. von Henke, D Luckham · ACM SIGPLAN Notices · 1975 · 25 citations
Adam: An Ada‐based language for multiprocessing
D Luckham, F. W. von Henke, Howard J. Larsen et al. · Software Practice and Experience · 1984 · 13 citations
Rows per page
1–3 of 3