Nissim Francez

4 books • 1 series

Jun 7, 2021
Cover of A View of Connexive Logics

A View of Connexive Logics

Jun 16, 1996
Cover of Interacting Processes

Interacting Processes

Oct 1, 1992
Cover of Program Verification

Program Verification

Aug 14, 1986
Cover of Fairness

Fairness (Monographs in Computer Science)