1
Publications
10
Citations
1
H-Index
1979
Active since
Joannes Lewi is an author specializing in software engineering, system software, and formal verification.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
1979–1979
1
1
A programming methodology in Compiler Construction Part I : Concepts
Joannes Lewi, Karel De Vlaminck, Jean Huens et al. · 1979 · 10 citations
Rows per page
1–1 of 1