Statistics
Publications
1
Citations
38
H-Index
1
Active since
2003
Affiliations
Verimag(Current)
Yassine Laknech is an author at Verimag specializing in total correctness, predicate logic, and computer science.
Publications per year
2003–2003
1
1
Storeless semantics and alias logic
Marius Bozga, Radu Iosif, Yassine Laknech · 2003 · 38 citations · Full text
1–1 of 1