Francez, Nissim

Francez, Nissim
All Links

Share this:

Details of Francez, Nissim

About Francez, Nissim
Francez, Nissim- The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
A