Zohra Khalis

Identifiers

• name variant Zohra Khalis 0.60 · backfill

Papers (1)

1. A Genetically Modified Hoare Logic cs.CE · 2015 · author #3

Mentions

• 1506.05887 #3 · backfill · confidence 0.70 Zohra Khalis

Frequent Coauthors

• Adrien Richard 1 shared papers
• Gilles Bernot 1 shared papers
• Jean-Paul Comet 1 shared papers
• Olivier Roux 1 shared papers