Concepedia

Wafaa Khalil

WK

1

Publications

10

Citations

1

H-Index

1993

Active since

Affiliations

The University of Sydney(Current)

Wafaa Khalil is an author at The University of Sydney specializing in syntax, formal verification, and language studies.

Top concepts

Publications per year

1993–1993

1

Publications

1

An imperative language based on distributive categories II

Wafaa Khalil, R. F. C. Walters · RAIRO - Theoretical Informatics and Applications · 1993 · 10 citations · Full text

, , +22

Rows per page

1–1 of 1