Nissim Francez

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Finite-memory automata
Michael Kaminski and others (1994) · Theoretical Computer Science · Elsevier BV
Program verification
Nissim Francez (1992) · Addison-Wesley