Kais Haddar

Identifiers

• name variant Kais Haddar 0.60 · backfill

Papers (1)

1. Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z cs.SE · 2012 · author #2

Mentions

• 1210.3858 #2 · backfill · confidence 0.70 Kais Haddar

Frequent Coauthors

• Fethi Fkih 1 shared papers