1
Publications
15
Citations
1
H-Index
1995
Active since
L. Paul Fertig is an author specializing in formal verification, formal methods, and verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal Verification
Publications per year
1995–1995
1
1
Sara Porat, L. Paul Fertig · Journal of Object-oriented Programming · 1995 · 15 citations
Rows per page
1–1 of 1