Statistics
Publications
1
Citations
10
H-Index
1
Active since
2024
Affiliations
Karl Azab is an author at Carl von Ossietzky Universität Oldenburg specializing in specification languages, weakest preconditions, and program verification.
Publications per year
2024–2024
1
1
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Karl Azab, Annegret Habel, Karl‐Heinz Pennemann et al. · 2024 · 10 citations · Full text
1–1 of 1