Concepedia
Statistics
Publications
1
Citations
30
H-Index
Active since
2002
Leonor is an author specializing in formal verification, formal specification, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationFormal Specification
Publications per year
2002–2002
Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL
Prensa Nieto, Leonor · 2002 · 30 citations
Parallel Imperative Programs, Engineering, Program Checking +20
1–1 of 1