Search results for: Kamal Aboul-Hosn
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session I: Foundations > 1-16
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 29-48
Journal of Logic and Algebraic Programming > 2008 > 76 > 1 > 3-17