J. Stavi

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.

Fair termination revisited - with delay

K. R. Apt and others (1982) · Proceedings of the 2nd Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore

Completeness issues for inductive assertions and Hoare's method

D. Harel and others (1976) · Tech. Rep