|
СТ |
Program Composition and Modular Verification |
1991 |
Fix L., Francez N., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
|
СТ |
Fairness and the Axioms of Control Predicates |
1987 |
Francez N., Katz S. |
|
|
|
Intern. J. Parallel Programming |
30.05.1995 |
|
СТ |
Cooperating-Proofs for Distributed Programs with Multy-Party Interactions |
1989 |
Francez N. |
|
|
|
J.W. de Bakker, 25 Jaar Semantiek |
04.10.1995 |
|
СТ |
A Logic-Based Approach to Program Flow Analysis |
1998 |
Sagiv M., Francez N., Rodeh M., Wilheln R. |
|
|
|
Acta Informatica |
11.08.1998 |
